صفحهٔ اصلی گشت‌و‌گذار راهنما
ورود
caryoscelus
/
agda
دنبال کردن 1
ستاره دار 0
انشعاب 0
پرونده‌ها مشکلات 0 درخواست واکشی 0 ویکی
شاخه: js_amd_patch
شاخه‌ها تگ‌ها
agda
/
test
/
Compiler
/
simple
/
Issue2486
Ulf Norell 3b3034a669 [ #2486 ] test case extension and simplification 7 سال پیش
..
Haskell.agda 889771c797 [ fix #2486 ] Fix foreign data inheritance problem. 7 سال پیش
HaskellB.agda 3b3034a669 [ #2486 ] test case extension and simplification 7 سال پیش
Import.agda 889771c797 [ fix #2486 ] Fix foreign data inheritance problem. 7 سال پیش
ImportB.agda 3b3034a669 [ #2486 ] test case extension and simplification 7 سال پیش