Re: [Axiom-developer] typo in the guessing package pamphlet, was: Re: Algebra and literate documentation

[Bill Page]

On 8/8/07, Gabriel Dos Reis wrote:
> On Wed, 8 Aug 2007, Bill Page wrote:
> ...
> | What do expect the meaning of #2 and #3 to be?
> |
> | As I understand Spad syntax, if I write
> |
> |    ( #1 + #2 + #3 )
> |
> | this is a shorthand for the following anonymous function
> |
> |   (x,y,z) +-> x + y + z
> |
> | Is that correct?
>
> I think so.
>
> Note however, that in nested context, I believe the rules are a bit different.
> That is:
>
>     f(#1, g(#1, #2))
>
> would be equivalent to
>
>    x +-> f(x, (y, z) +-> g(y, z))
>
> However, I can't find a documentation for that.
>

Ahhh, I see! Excellent.

Now there is documentation. :-) Thank you.

Regards,
Bill Page.