[racket] Redex question: parameterizing a language definition

From: David Van Horn (dvanhorn at ccs.neu.edu)
Date: Wed Apr 3 20:08:05 EDT 2013

On 4/3/13 8:02 PM, Lindsey Kuper wrote:
> 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:
> http://stackoverflow.com/questions/15800167/plt-redex-parameterizing-a-language-definition
> 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.
> Thanks!

This is a recurring issue with no current solution (as far as I know).



Posted on the users mailing list.