William J. Bowman f8a51e65ca Attempting to fix case typing checking ... Maybe I shouldn't bother and should fix that after fixing inductives		2015-04-10 22:42:51 -04:00
..
bool.rkt	Reorganized stdlib; fixed some tests	2015-02-04 18:47:15 -05:00
maybe.rkt	Reorganized stdlib; fixed some tests	2015-02-04 18:47:15 -05:00
nat.rkt	Added capture-avoiding subst, α-equivalence	2015-04-10 22:05:54 -04:00
prop.rkt	Attempting to fix case typing checking	2015-04-10 22:42:51 -04:00
sugar.rkt	Added capture-avoiding subst, α-equivalence	2015-04-10 22:05:54 -04:00