William J. Bowman 024f4e188e Fixed reduction of (elim ==) ... Fixed eliminator reduction, at least for the == type. Code currently does the minimum required to make #23 work, but may have introduced bugs in the process.		2015-09-26 00:57:36 -04:00
..
tactics	Proof read sartactics. closes #17	2015-09-25 13:54:42 -04:00
bool.rkt	Made case macro do more work	2015-09-24 18:01:42 -04:00
maybe.rkt	disabled test that cause setup errors	2015-09-25 20:10:32 -04:00
nat.rkt	disabled test that cause setup errors	2015-09-25 20:10:32 -04:00
prop.rkt	Fixed reduction of (elim ==)	2015-09-26 00:57:36 -04:00
sugar.rkt	Added query-type command to sugar	2015-09-25 20:08:07 -04:00
typeclass.rkt	Styles tweaks	2015-09-22 23:32:02 -04:00