William J. Bowman 83fb144c24 [UNTESTED, DESIGN BUGS] Design for typed macros ... Started working on a promising design for lifting type checking into the macros for easy syntax extensions over the typed language. Works on some examples, but running into performance issues and haven't tested/finished design.		2016-01-20 17:52:37 -05:00
..
stdlib	Better surface syntax. Closes #34	2016-01-18 14:14:05 -05:00
olly.rkt	[UNTESTED, DESIGN BUGS] Design for typed macros	2016-01-20 17:52:37 -05:00
redex-core.rkt	Split and reorganized package. Closes #14	2016-01-10 19:10:12 -05:00
stlc.rkt	Rewrote Olly	2016-01-19 11:23:49 -05:00