Scheme Reports

Scheme language standardization process

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

Because expressions should be invariant under alpha renaming.  In other words,
the _expression_

But wouldn't it also be reasonable to say that COND establishes a local scope in which ELSE is bound?  The alpha-renaming argument wouldn't work then.
_______________________________________________
Scheme-reports mailing list
Scheme-reports@x
http://lists.scheme-reports.org/cgi-bin/mailman/listinfo/scheme-reports