William J. Bowman a57a719fdf Fixed some issues with top-interactive ... Previous, top-interactive was full of hacks and likely to break under various scenarios. Now, it is less full of hacks and less likely to break.		2015-11-10 17:57:32 -05:00
..
redex-core.rkt	Simplfied universe rules	2015-11-10 14:11:46 -05:00
redex-lang.rkt	Fixed some issues with top-interactive	2015-11-10 17:57:32 -05:00