William J. Bowman bf867bca7f Moved some features out of curnel ... * run is user-definable through the existing reflection features; moved to sugar. * define need not have special function support in curnel; moved to sugar. * fixed relevant documentation		2015-09-25 13:36:44 -04:00
..
tactics	Exported some convenience features	2015-09-23 16:22:05 -04:00
bool.rkt	Made case macro do more work	2015-09-24 18:01:42 -04:00
maybe.rkt	Styles tweaks	2015-09-22 23:32:02 -04:00
nat.rkt	Made case macro do more work	2015-09-24 18:01:42 -04:00
prop.rkt	Styles tweaks	2015-09-22 23:32:02 -04:00
sugar.rkt	Moved some features out of curnel	2015-09-25 13:36:44 -04:00
typeclass.rkt	Styles tweaks	2015-09-22 23:32:02 -04:00