|
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
|
Add type-inferring constructors
|
2015-10-02 18:06:33 -04:00 |
|
nat.rkt
|
Fixed/sped up eliminator reduction. closes #20
|
2015-09-29 17:56:37 -04:00 |
|
sugar.rkt
|
Fixed issue with #%app and elim macros
|
2015-10-02 21:34:04 -04:00 |
|
typeclass.rkt
|
Styles tweaks
|
2015-09-22 23:32:02 -04:00 |
