صفحهٔ اصلی گشت‌و‌گذار راهنما
ورود
caryoscelus
/
agda
دنبال کردن 1
ستاره دار 0
انشعاب 0
پرونده‌ها مشکلات 0 درخواست واکشی 0 ویکی
شاخه: js_amd_patch
شاخه‌ها تگ‌ها
agda
/
examples
/
order
Andrés Sicard-Ramírez 06a20b7169 [ cleaning ] Removed .cvsignore files. 10 سال پیش
..
DecidableOrder.agda 00a9116a9a File names are no longer stored in interface files. 15 سال پیش
MinMax.agda b33aef5162 give ambiguous error in patterns with multiple constructors targeting the same type 13 سال پیش