Halaman utama Jelajahi Bantuan
Masuk
caryoscelus
/
agda
Liatin 1
Bintangi 0
Fork 0
Berkas Masalah 0 Tarik Permintaan 0 Wiki
Cabang: js_amd_patch
Ranting Tag
agda
/
test
/
features
/
matrixShapedTerminationOrder
Andreas Abel aa2eb80543 Disabled matrix-shaped orders in the termination checker. Fixes issue 787. 11 tahun lalu
..
TerminationMixingTupledCurried.agda aa2eb80543 Disabled matrix-shaped orders in the termination checker. Fixes issue 787. 11 tahun lalu
TerminationTupledAckermann.agda aa2eb80543 Disabled matrix-shaped orders in the termination checker. Fixes issue 787. 11 tahun lalu