Domovská stránka Prehľadávať Pomoc
Prihlásiť sa
caryoscelus
/
agda
Pridať medzi pozorované 1
Hviezda 0
Fork 0
Súbory Issues 0 Pull requesty 0 Wiki
Branch: js_amd_patch
Branche Tagy
agda
/
test
/
features
/
matrixShapedTerminationOrder
Andreas Abel aa2eb80543 Disabled matrix-shaped orders in the termination checker. Fixes issue 787. 12 rokov pred
..
TerminationMixingTupledCurried.agda aa2eb80543 Disabled matrix-shaped orders in the termination checker. Fixes issue 787. 12 rokov pred
TerminationTupledAckermann.agda aa2eb80543 Disabled matrix-shaped orders in the termination checker. Fixes issue 787. 12 rokov pred