- From: Stephane Dalmas <Stephane.Dalmas@sophia.inria.fr>
- Date: Thu, 13 Aug 1998 11:44:48 +0200
- 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 UTC