[r6rs-discuss] [Formal] Drop formal semantics of library toplevel

[William D Clinger]

I am posting this as an individual member of the Scheme
community.  I am not speaking for the R6RS editors, and
this message should not be confused with the editors'
eventual formal response.

Robby Findler wrote:
> lambda cannot express letrec.

That's news to me.  I was under the impression that
several Scheme compilers expand letrec expressions
into a melange of lambda, procedure call, variable
reference, assignment, and if expressions.

Will