Re: [Scheme-reports] ANN: first draft of R7RS small language available

[Alex Queiroz <asandroq@x>]

Hallo,

On Tue, May 3, 2011 at 9:52 AM, Andre van Tonder <andre@x> wrote:
>
> Because expressions should be invariant under alpha renaming.  In other words,
> the expression
>

     It's not clear at all from R5RS that COND's ELSE is an identifier
and therefore subject to alpha renaming.

-- 
-alex
http://www.artisancoder.com/

_______________________________________________
Scheme-reports mailing list
Scheme-reports@x
http://lists.scheme-reports.org/cgi-bin/mailman/listinfo/scheme-reports