3be6730b1e
Conflicts: redex-curnel.rkt With names finally fixed, many more tests can actually run. * Changed uses of case to eliminators * Fixed uses of new case* macro * Fixed some assorted bugs in reduction of eliminators |
||
|---|---|---|
| .. | ||
| bool.rkt | ||
| maybe.rkt | ||
| nat.rkt | ||
| prop.rkt | ||
| sugar.rkt | ||