صفحهٔ اصلی گشت‌و‌گذار راهنما
ورود
caryoscelus
/
agda
دنبال کردن 1
ستاره دار 0
انشعاب 0
پرونده‌ها مشکلات 0 درخواست واکشی 0 ویکی
درخت: ce9b406819
شاخه‌ها تگ‌ها
agda
/
benchmark
/
monad
Ulf Norell d573394115 [ test ] update benchmarks for new std-lib commit 6 سال پیش
..
IndexedMap.agda aa93d46c40 Updated benchmark code (the standard library has been changed). 13 سال پیش
Monad.agda d573394115 [ test ] update benchmarks for new std-lib commit 6 سال پیش
MonadPostulates.agda d573394115 [ test ] update benchmarks for new std-lib commit 6 سال پیش