[racket] Redex question: parameterizing a language definition

From: Lindsey Kuper (lkuper at cs.indiana.edu)
Date: Wed Apr 3 20:02:44 EDT 2013

I have a rather involved Redex question that I was originally going to
send to this list, but it got long enough that it was crying out for
hyperlinks and code formatting.  So, here it is on Stack Overflow:

Nevertheless, I suspect that if there's anyone who can help, they're
on this list, so I'd appreciate any responses, whether here or there.


Posted on the users mailing list.