صفحهٔ اصلی گشت‌و‌گذار راهنما
ورود
caryoscelus
/
agda
دنبال کردن 1
ستاره دار 0
انشعاب 0
پرونده‌ها مشکلات 0 درخواست واکشی 0 ویکی
شاخه: js_amd
شاخه‌ها تگ‌ها
agda
/
examples
/
outdated-and-incorrect
/
syntax
Ilya Yanok 23c9474092 [ whitespace ] untabify everything 10 سال پیش
..
ModuleA.agda 23c9474092 [ whitespace ] untabify everything 10 سال پیش
ModuleB.agda 23c9474092 [ whitespace ] untabify everything 10 سال پیش
Syntax.agda 23c9474092 [ whitespace ] untabify everything 10 سال پیش