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

Re: error

From: Stephane Dalmas <Stephane.Dalmas@sophia.inria.fr>
Date: Thu, 13 Aug 1998 11:44:48 +0200
Message-Id: <199808130944.LAA26203@krishna.inria.fr>
To: Kostya Serebriany <kostya_silver@yahoo.com>
Cc: 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>

This is definitely an error in the Recommandation (as you would have
guessed...). The "bvar" element is mandatory. Sorry for that.
 
             Ste'phane.
Received on Thursday, 13 August 1998 05:44:32 GMT

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