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-03.26-Ulfs-MacBook-Pro
ulfn f208ef73e0 benchmark run after pushing types into lambda abstractions 13 år sedan
..
ac1 f208ef73e0 benchmark run after pushing types into lambda abstractions 13 år sedan
ac2 f208ef73e0 benchmark run after pushing types into lambda abstractions 13 år sedan
ac3 f208ef73e0 benchmark run after pushing types into lambda abstractions 13 år sedan
cat f208ef73e0 benchmark run after pushing types into lambda abstractions 13 år sedan
cwf f208ef73e0 benchmark run after pushing types into lambda abstractions 13 år sedan
data f208ef73e0 benchmark run after pushing types into lambda abstractions 13 år sedan
functor f208ef73e0 benchmark run after pushing types into lambda abstractions 13 år sedan
latemeta f208ef73e0 benchmark run after pushing types into lambda abstractions 13 år sedan
monad f208ef73e0 benchmark run after pushing types into lambda abstractions 13 år sedan
monadpostulate f208ef73e0 benchmark run after pushing types into lambda abstractions 13 år sedan
nested f208ef73e0 benchmark run after pushing types into lambda abstractions 13 år sedan
patternmatch f208ef73e0 benchmark run after pushing types into lambda abstractions 13 år sedan
polyfunctor f208ef73e0 benchmark run after pushing types into lambda abstractions 13 år sedan
prim f208ef73e0 benchmark run after pushing types into lambda abstractions 13 år sedan
record f208ef73e0 benchmark run after pushing types into lambda abstractions 13 år sedan
syntax1 f208ef73e0 benchmark run after pushing types into lambda abstractions 13 år sedan
syntax2 f208ef73e0 benchmark run after pushing types into lambda abstractions 13 år sedan