Re: error

To: Kostya Serebriany <kostya_silver@yahoo.com">kostya_silver@yahoo.com>
Subject: Re: error
From: Stephane Dalmas <Stephane.Dalmas@sophia.inria.fr>
Date: Thu, 13 Aug 1998 11:44:48 +0200
Cc: www-math@w3.org
From www-math-request@www10.w3.org Thu Aug 13 05: 44:32 1998
In-Reply-To: Message from Kostya Serebriany <kostya_silver@yahoo.com> of "Thu, 13 Aug 1998 01:16:42 PDT." <19980813081642.19054.rocketmail@send101.yahoomail.com>

> 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.

References:

From:

Prev: unsubscribe
Next: error
Index: Message index of www-math@w3.org mailing list
Thread: Thread index of www-math@w3.org mailing list