[racket] Redex question: parameterizing a language definition

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).

http://lists.racket-lang.org/users/archive/2012-December/055488.html

David