Hallo,

On Tue, May 3, 2011 at 9:52 AM, Andre van Tonder <andre@het.brown.edu> 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@scheme-reports.org
http://lists.scheme-reports.org/cgi-bin/mailman/listinfo/scheme-reports