[racket] Redex question: parameterizing a language definition

From: Robby Findler (robby at eecs.northwestern.edu)
Date: Wed Apr 3 20:17:18 EDT 2013

Yes, David's right. The (a bit more long-term than I hoped) plan is to
essentially improve and automate parts of what you call the rabbit hole in
your stackoverflow question (as also discussed in the link David posted).


On Wed, Apr 3, 2013 at 7:08 PM, David Van Horn <dvanhorn at ccs.neu.edu> wrote:

> 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<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<http://lists.racket-lang.org/users/archive/2012-December/055488.html>
> David
> ____________________
>  Racket Users list:
>  http://lists.racket-lang.org/**users <http://lists.racket-lang.org/users>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.racket-lang.org/users/archive/attachments/20130403/534018db/attachment.html>

Posted on the users mailing list.