Home Esplora Aiuto
Accedi
caryoscelus
/
agda
Segui 1
Vota 0
Forka 0
File Problemi 0 Pull Requests 0 Wiki
Albero (Tree): 9c190b6ebc
Rami (Branch) Tag
agda
/
benchmark
/
logs
/
20110907-03.26-Ulfs-MacBook-Pro
ulfn f208ef73e0 benchmark run after pushing types into lambda abstractions 13 anni fa
..
ac1 f208ef73e0 benchmark run after pushing types into lambda abstractions 13 anni fa
ac2 f208ef73e0 benchmark run after pushing types into lambda abstractions 13 anni fa
ac3 f208ef73e0 benchmark run after pushing types into lambda abstractions 13 anni fa
cat f208ef73e0 benchmark run after pushing types into lambda abstractions 13 anni fa
cwf f208ef73e0 benchmark run after pushing types into lambda abstractions 13 anni fa
data f208ef73e0 benchmark run after pushing types into lambda abstractions 13 anni fa
functor f208ef73e0 benchmark run after pushing types into lambda abstractions 13 anni fa
latemeta f208ef73e0 benchmark run after pushing types into lambda abstractions 13 anni fa
monad f208ef73e0 benchmark run after pushing types into lambda abstractions 13 anni fa
monadpostulate f208ef73e0 benchmark run after pushing types into lambda abstractions 13 anni fa
nested f208ef73e0 benchmark run after pushing types into lambda abstractions 13 anni fa
patternmatch f208ef73e0 benchmark run after pushing types into lambda abstractions 13 anni fa
polyfunctor f208ef73e0 benchmark run after pushing types into lambda abstractions 13 anni fa
prim f208ef73e0 benchmark run after pushing types into lambda abstractions 13 anni fa
record f208ef73e0 benchmark run after pushing types into lambda abstractions 13 anni fa
syntax1 f208ef73e0 benchmark run after pushing types into lambda abstractions 13 anni fa
syntax2 f208ef73e0 benchmark run after pushing types into lambda abstractions 13 anni fa