Powerful meta-programming for powerful types.

William J. Bowman 124531e3c2 Added TODOs of various new features ... * Added description of new reflection features * Cleaned up assorted comments		2015-01-20 00:55:37 -05:00
example.rkt	Draft of STLC with type system	2015-01-19 20:45:18 -05:00
proofs-for-free-v2.rkt	Fixed to well-formed env, tinkering with PFF	2014-08-01 16:54:37 +02:00
redex-core.rkt	Added TODOs of various new features	2015-01-20 00:55:37 -05:00