صفحهٔ اصلی گشت‌و‌گذار راهنما
ورود
caryoscelus
/
agda
دنبال کردن 1
ستاره دار 0
انشعاب 0
پرونده‌ها مشکلات 0 درخواست واکشی 0 ویکی
شاخه: js_amd
شاخه‌ها تگ‌ها
agda
/
benchmark
/
logs
/
20110902-12.38-Ulfs-MacBook-Pro
ulfn 15b32664d4 benchmark run with projection-like functions 13 سال پیش
..
ac1 15b32664d4 benchmark run with projection-like functions 13 سال پیش
ac2 15b32664d4 benchmark run with projection-like functions 13 سال پیش
ac3 15b32664d4 benchmark run with projection-like functions 13 سال پیش
cat 15b32664d4 benchmark run with projection-like functions 13 سال پیش
cwf 15b32664d4 benchmark run with projection-like functions 13 سال پیش
data 15b32664d4 benchmark run with projection-like functions 13 سال پیش
functor 15b32664d4 benchmark run with projection-like functions 13 سال پیش
latemeta 15b32664d4 benchmark run with projection-like functions 13 سال پیش
monad 15b32664d4 benchmark run with projection-like functions 13 سال پیش
monadpostulate 15b32664d4 benchmark run with projection-like functions 13 سال پیش
nested 15b32664d4 benchmark run with projection-like functions 13 سال پیش
patternmatch 15b32664d4 benchmark run with projection-like functions 13 سال پیش
polyfunctor 15b32664d4 benchmark run with projection-like functions 13 سال پیش
prim 15b32664d4 benchmark run with projection-like functions 13 سال پیش
record 15b32664d4 benchmark run with projection-like functions 13 سال پیش
syntax1 15b32664d4 benchmark run with projection-like functions 13 سال پیش
syntax2 15b32664d4 benchmark run with projection-like functions 13 سال پیش