4 Commits

Author	SHA1	Message	Date
William J. Bowman	008f4451f7	Tests seem to be passing.	2015-09-24 16:56:22 -04:00
William J. Bowman	3e5af72334	Started converting to Redex + binding	2015-09-24 14:41:01 -04:00
William J. Bowman	8681282ef9	Added top-interactive support/fixed top-level eval ... Also fixed some random stylistic things	2015-09-22 14:06:03 -04:00
William J. Bowman	3ce14c3871	Refactored core ... Moved all curnel code into curnel/, and split the two kernel modules into separate files. Now the trusted core and the module/#lang stuff are in separate files. The #lang is now reprovided by "cur.rkt", which should also provide core agnostic sugar.	2015-09-15 18:02:36 -04:00