Startsida Utforska Hjälp
Logga in
caryoscelus
/
agda
Bevaka 1
Stjärnmärk 0
Fork 0
Filer Ärenden 0 Pull-förfrågningar 0 Wiki
Gren: js_amd
Grenar Taggar
agda
/
benchmark
/
logs
/
20110902-12.38-Ulfs-MacBook-Pro
ulfn 15b32664d4 benchmark run with projection-like functions 13 år sedan
..
ac1 15b32664d4 benchmark run with projection-like functions 13 år sedan
ac2 15b32664d4 benchmark run with projection-like functions 13 år sedan
ac3 15b32664d4 benchmark run with projection-like functions 13 år sedan
cat 15b32664d4 benchmark run with projection-like functions 13 år sedan
cwf 15b32664d4 benchmark run with projection-like functions 13 år sedan
data 15b32664d4 benchmark run with projection-like functions 13 år sedan
functor 15b32664d4 benchmark run with projection-like functions 13 år sedan
latemeta 15b32664d4 benchmark run with projection-like functions 13 år sedan
monad 15b32664d4 benchmark run with projection-like functions 13 år sedan
monadpostulate 15b32664d4 benchmark run with projection-like functions 13 år sedan
nested 15b32664d4 benchmark run with projection-like functions 13 år sedan
patternmatch 15b32664d4 benchmark run with projection-like functions 13 år sedan
polyfunctor 15b32664d4 benchmark run with projection-like functions 13 år sedan
prim 15b32664d4 benchmark run with projection-like functions 13 år sedan
record 15b32664d4 benchmark run with projection-like functions 13 år sedan
syntax1 15b32664d4 benchmark run with projection-like functions 13 år sedan
syntax2 15b32664d4 benchmark run with projection-like functions 13 år sedan