| From: Lindsey Kuper (lkuper at cs.indiana.edu) Date: Wed Apr 3 23:54:36 EDT 2013 |
|
On Wed, Apr 3, 2013 at 7:08 PM, David Van Horn <dvanhorn at ccs.neu.edu> wrote: > 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 Okay, thanks for the answers, David and Robby. It sounds like transitive reinterpretation, as David put it, is indeed what I wish I had here. (And a module system for Redex would be very cool!) Lindsey
| Posted on the users mailing list. |
|
![[logo]](/logo.png){kind=logo}