8ba4ed17d9
elim was not checking that the arguments to be used for the parameters of the inductive matched the actual parameters expected, resulting in incorrect and non-deterministic unification, and thus incorrect reduction when the parameters were unified incorrectly. |
||
|---|---|---|
| .. | ||
| bool.rkt | ||
| maybe.rkt | ||
| nat.rkt | ||
| prop.rkt | ||
| sugar.rkt | ||