|
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 eliminators like (elim ==)
|
2015-09-29 16:58:40 -04:00 |
|
sugar.rkt
|
Added single step evaluation abilities. Closes #27
|
2015-09-29 15:41:21 -04:00 |
|
typeclass.rkt
|
Styles tweaks
|
2015-09-22 23:32:02 -04:00 |
