[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,
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