صفحهٔ اصلی گشت‌و‌گذار راهنما
ورود
caryoscelus
/
agda
دنبال کردن 1
ستاره دار 0
انشعاب 0
پرونده‌ها مشکلات 0 درخواست واکشی 0 ویکی
درخت: ce9b406819
شاخه‌ها تگ‌ها
agda
/
test
/
features
/
matrixShapedTerminationOrder
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 سال پیش