In-reply-to: Msg of 20 Nov 1985 19:25-EST from David Bartley <Bartley%CSL60%ti-csl.csnet at CSNET-RELAY.ARPA>
We should certainly not require that both evaluations return EQ?
objects.
Note: Is it true that the only way that a lambda expression can be
re-evaluated in the same environment is by using
call-with-current-continuation?