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
/
20110915-07.38-Ulfs-MacBook-Pro
ulfn af1da280f1 benchmark run with new constraint machinery 13 år sedan
..
ac1 af1da280f1 benchmark run with new constraint machinery 13 år sedan
ac2 af1da280f1 benchmark run with new constraint machinery 13 år sedan
ac3 af1da280f1 benchmark run with new constraint machinery 13 år sedan
any af1da280f1 benchmark run with new constraint machinery 13 år sedan
cat af1da280f1 benchmark run with new constraint machinery 13 år sedan
cwf af1da280f1 benchmark run with new constraint machinery 13 år sedan
data af1da280f1 benchmark run with new constraint machinery 13 år sedan
functor af1da280f1 benchmark run with new constraint machinery 13 år sedan
latemeta af1da280f1 benchmark run with new constraint machinery 13 år sedan
monad af1da280f1 benchmark run with new constraint machinery 13 år sedan
monadpostulate af1da280f1 benchmark run with new constraint machinery 13 år sedan
nested af1da280f1 benchmark run with new constraint machinery 13 år sedan
patternmatch af1da280f1 benchmark run with new constraint machinery 13 år sedan
polyfunctor af1da280f1 benchmark run with new constraint machinery 13 år sedan
prim af1da280f1 benchmark run with new constraint machinery 13 år sedan
record af1da280f1 benchmark run with new constraint machinery 13 år sedan
syntax1 af1da280f1 benchmark run with new constraint machinery 13 år sedan
syntax2 af1da280f1 benchmark run with new constraint machinery 13 år sedan