Andreas Abel
aa2eb80543
Disabled matrix-shaped orders in the termination checker. Fixes issue 787.
|
11 년 전 | |
|---|---|---|
| .. | ||
| TerminationMixingTupledCurried.agda | 11 년 전 | |
| TerminationTupledAckermann.agda | 11 년 전 | |
|
Andreas Abel
aa2eb80543
Disabled matrix-shaped orders in the termination checker. Fixes issue 787.
|
11 년 전 | |
|---|---|---|
| .. | ||
| TerminationMixingTupledCurried.agda | 11 년 전 | |
| TerminationTupledAckermann.agda | 11 년 전 | |