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
Träd: 9c190b6ebc
Grenar Taggar
agda
/
benchmark
/
logs
/
20110907-04.48-Ulfs-MacBook-Pro
ulfn b5f2ad8726 benchmark run for improved lambda checking 13 år sedan
..
ac1 b5f2ad8726 benchmark run for improved lambda checking 13 år sedan
ac2 b5f2ad8726 benchmark run for improved lambda checking 13 år sedan
ac3 b5f2ad8726 benchmark run for improved lambda checking 13 år sedan
cat b5f2ad8726 benchmark run for improved lambda checking 13 år sedan
cwf b5f2ad8726 benchmark run for improved lambda checking 13 år sedan
data b5f2ad8726 benchmark run for improved lambda checking 13 år sedan
functor b5f2ad8726 benchmark run for improved lambda checking 13 år sedan
latemeta b5f2ad8726 benchmark run for improved lambda checking 13 år sedan
monad b5f2ad8726 benchmark run for improved lambda checking 13 år sedan
monadpostulate b5f2ad8726 benchmark run for improved lambda checking 13 år sedan
nested b5f2ad8726 benchmark run for improved lambda checking 13 år sedan
patternmatch b5f2ad8726 benchmark run for improved lambda checking 13 år sedan
polyfunctor b5f2ad8726 benchmark run for improved lambda checking 13 år sedan
prim b5f2ad8726 benchmark run for improved lambda checking 13 år sedan
record b5f2ad8726 benchmark run for improved lambda checking 13 år sedan
syntax1 b5f2ad8726 benchmark run for improved lambda checking 13 år sedan
syntax2 b5f2ad8726 benchmark run for improved lambda checking 13 år sedan