> > 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 [email protected] http://lists.scheme-reports.org/cgi-bin/mailman/listinfo/scheme-reports
