[racket] Redex question: parameterizing a language definition

From: Lindsey Kuper (lkuper at cs.indiana.edu)
Date: Tue Jun 4 14:53:51 EDT 2013

On Mon, Jun 3, 2013 at 11:29 PM, Robby Findler
<robby at eecs.northwestern.edu> wrote:
> I've written three little examples [...]

Thanks, Robby, this is an enormous help.  I'll play with these and see
what can be done.


Posted on the users mailing list.