صفحهٔ اصلی گشت‌و‌گذار راهنما
ورود
caryoscelus
/
agda
دنبال کردن 1
ستاره دار 0
انشعاب 0
پرونده‌ها مشکلات 0 درخواست واکشی 0 ویکی
شاخه: js_amd
شاخه‌ها تگ‌ها
agda
/
benchmark
/
logs
/
20110901-13.33-Ulfs-MacBook-Pro
ulfn 9e5b6c61d3 benchmarks for projection like functions (category example with data sigma and nested record sigma) 13 سال پیش
..
ac1 9e5b6c61d3 benchmarks for projection like functions (category example with data sigma and nested record sigma) 13 سال پیش
ac2 9e5b6c61d3 benchmarks for projection like functions (category example with data sigma and nested record sigma) 13 سال پیش
ac3 9e5b6c61d3 benchmarks for projection like functions (category example with data sigma and nested record sigma) 13 سال پیش
cat 9e5b6c61d3 benchmarks for projection like functions (category example with data sigma and nested record sigma) 13 سال پیش
cwf 9e5b6c61d3 benchmarks for projection like functions (category example with data sigma and nested record sigma) 13 سال پیش
data 9e5b6c61d3 benchmarks for projection like functions (category example with data sigma and nested record sigma) 13 سال پیش
functor 9e5b6c61d3 benchmarks for projection like functions (category example with data sigma and nested record sigma) 13 سال پیش
latemeta 9e5b6c61d3 benchmarks for projection like functions (category example with data sigma and nested record sigma) 13 سال پیش
monad 9e5b6c61d3 benchmarks for projection like functions (category example with data sigma and nested record sigma) 13 سال پیش
monadpostulate 9e5b6c61d3 benchmarks for projection like functions (category example with data sigma and nested record sigma) 13 سال پیش
nested 9e5b6c61d3 benchmarks for projection like functions (category example with data sigma and nested record sigma) 13 سال پیش
patternmatch 9e5b6c61d3 benchmarks for projection like functions (category example with data sigma and nested record sigma) 13 سال پیش
polyfunctor 9e5b6c61d3 benchmarks for projection like functions (category example with data sigma and nested record sigma) 13 سال پیش
prim 9e5b6c61d3 benchmarks for projection like functions (category example with data sigma and nested record sigma) 13 سال پیش
record 9e5b6c61d3 benchmarks for projection like functions (category example with data sigma and nested record sigma) 13 سال پیش
syntax1 9e5b6c61d3 benchmarks for projection like functions (category example with data sigma and nested record sigma) 13 سال پیش
syntax2 9e5b6c61d3 benchmarks for projection like functions (category example with data sigma and nested record sigma) 13 سال پیش