[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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