صفحهٔ اصلی گشت‌و‌گذار راهنما
ورود
caryoscelus
/
agda
دنبال کردن 1
ستاره دار 0
انشعاب 0
پرونده‌ها مشکلات 0 درخواست واکشی 0 ویکی
شاخه: js_amd
شاخه‌ها تگ‌ها
agda
/
examples
/
malformed
Nils Anders Danielsson 0dd4207b78 Made the loading of interfaces more robust. This fixes issue 181. 15 سال پیش
..
Empty.agda 0dd4207b78 Made the loading of interfaces more robust. This fixes issue 181. 15 سال پیش