[racket] Redex question: parameterizing a language definition

On Apr 4, 2013, at 6:48 PM, Lindsey Kuper wrote:

> lambdaLVar is a minimal substrate for LVars, but it's not
> too pleasant to write programs in (although the #lang decoupling could
> help).


That's why I proposed a #lang lambdaLVar in the first place. 
You might be able to get all of Racket's infrastructure into
your language -- meaning you can write and demo real programs. 
Which is what you want when you design a language -- Matthias