4 Commits

Author	SHA1	Message	Date
William J. Bowman	fae24ab496	Styles tweaks ... * Types now start with a Capital letter, because. * Boolean expression no longer start with the letter b.	2015-09-22 23:32:02 -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
William J. Bowman	a29940ec69	Cleaned up typeclass code a little	2015-09-15 17:20:37 -04:00
William J. Bowman	07c36c9c2d	Type classes are easy	2015-09-09 17:54:44 -04:00