صفحهٔ اصلی گشت‌و‌گذار راهنما
ورود
caryoscelus
/
agda
دنبال کردن 1
ستاره دار 0
انشعاب 0
پرونده‌ها مشکلات 0 درخواست واکشی 0 ویکی
شاخه: js_amd_patch
شاخه‌ها تگ‌ها

تاریخچه Commit ها

نویسنده SHA1 پیام تاریخ
  ulfn 76730c04f7 fixed broken benchmark examples 10 سال پیش
  ulfn c9ae0656cf made some changes to accomodate the new level representation 13 سال پیش
  Nils Anders Danielsson 48473b335d An example that should arguably typecheck faster. 15 سال پیش