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).
Robby On Wed, Apr 3, 2013 at 7:08 PM, David Van Horn <dvanh...@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> >
____________________ Racket Users list: http://lists.racket-lang.org/users