W3C home > Mailing lists > Public > www-math@w3.org > August 1998

error

From: Kostya Serebriany <kostya_silver@yahoo.com>
Date: Thu, 13 Aug 1998 01:16:42 -0700 (PDT)
Message-ID: <19980813081642.19054.rocketmail@send101.yahoomail.com>
To: www-math@w3.org
Hello, All.
This is taken from manual:

The lambda construct
     with n internal variables takes n + 1 children. The first
(second, up to n) is a _bvar_ containing the identifiers of the
internal variables.

This is also taken from manual:

<declare type="fn">
       <ci> J </ci>
       <lambda><ci> x </ci>
         <apply><ln/>
           <ci> x </ci>
         </apply>
       </lambda>
</declare>


Kostya


_________________________________________________________
DO YOU YAHOO!?
Get your free @yahoo.com address at http://mail.yahoo.com
Received on Thursday, 13 August 1998 04:16:55 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Saturday, 20 February 2010 06:12:48 GMT