caryoscelus/agda: My dev branches of agda (i.e. mostly a mirror) @ js_amd_patch

Andreas Abel aa2eb80543 Disabled matrix-shaped orders in the termination checker. Fixes issue 787.		11 年之前
..
TerminationMixingTupledCurried.agda	aa2eb80543 Disabled matrix-shaped orders in the termination checker. Fixes issue 787.	11 年之前
TerminationTupledAckermann.agda	aa2eb80543 Disabled matrix-shaped orders in the termination checker. Fixes issue 787.	11 年之前