Home Explore Help
Sign In
caryoscelus
/
agda
Watch 1
Star 0
Fork 0
Files Issues 0 Pull Requests 0 Wiki
Tree: 9c190b6ebc
Branches Tags
agda
/
benchmark
/
logs
/
20110907-03.26-Ulfs-MacBook-Pro
ulfn f208ef73e0 benchmark run after pushing types into lambda abstractions 13 years ago
..
ac1 f208ef73e0 benchmark run after pushing types into lambda abstractions 13 years ago
ac2 f208ef73e0 benchmark run after pushing types into lambda abstractions 13 years ago
ac3 f208ef73e0 benchmark run after pushing types into lambda abstractions 13 years ago
cat f208ef73e0 benchmark run after pushing types into lambda abstractions 13 years ago
cwf f208ef73e0 benchmark run after pushing types into lambda abstractions 13 years ago
data f208ef73e0 benchmark run after pushing types into lambda abstractions 13 years ago
functor f208ef73e0 benchmark run after pushing types into lambda abstractions 13 years ago
latemeta f208ef73e0 benchmark run after pushing types into lambda abstractions 13 years ago
monad f208ef73e0 benchmark run after pushing types into lambda abstractions 13 years ago
monadpostulate f208ef73e0 benchmark run after pushing types into lambda abstractions 13 years ago
nested f208ef73e0 benchmark run after pushing types into lambda abstractions 13 years ago
patternmatch f208ef73e0 benchmark run after pushing types into lambda abstractions 13 years ago
polyfunctor f208ef73e0 benchmark run after pushing types into lambda abstractions 13 years ago
prim f208ef73e0 benchmark run after pushing types into lambda abstractions 13 years ago
record f208ef73e0 benchmark run after pushing types into lambda abstractions 13 years ago
syntax1 f208ef73e0 benchmark run after pushing types into lambda abstractions 13 years ago
syntax2 f208ef73e0 benchmark run after pushing types into lambda abstractions 13 years ago