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-01.19-Ulfs-MacBook-Pro
ulfn 6cbc2d6034 benchmark run for pushing types into constructor applications 13 år sedan
..
ac1 6cbc2d6034 benchmark run for pushing types into constructor applications 13 år sedan
ac2 6cbc2d6034 benchmark run for pushing types into constructor applications 13 år sedan
ac3 6cbc2d6034 benchmark run for pushing types into constructor applications 13 år sedan
cat 6cbc2d6034 benchmark run for pushing types into constructor applications 13 år sedan
cwf 6cbc2d6034 benchmark run for pushing types into constructor applications 13 år sedan
data 6cbc2d6034 benchmark run for pushing types into constructor applications 13 år sedan
functor 6cbc2d6034 benchmark run for pushing types into constructor applications 13 år sedan
latemeta 6cbc2d6034 benchmark run for pushing types into constructor applications 13 år sedan
monad 6cbc2d6034 benchmark run for pushing types into constructor applications 13 år sedan
monadpostulate 6cbc2d6034 benchmark run for pushing types into constructor applications 13 år sedan
nested 6cbc2d6034 benchmark run for pushing types into constructor applications 13 år sedan
patternmatch 6cbc2d6034 benchmark run for pushing types into constructor applications 13 år sedan
polyfunctor 6cbc2d6034 benchmark run for pushing types into constructor applications 13 år sedan
prim 6cbc2d6034 benchmark run for pushing types into constructor applications 13 år sedan
record 6cbc2d6034 benchmark run for pushing types into constructor applications 13 år sedan
syntax1 6cbc2d6034 benchmark run for pushing types into constructor applications 13 år sedan
syntax2 6cbc2d6034 benchmark run for pushing types into constructor applications 13 år sedan