Domů Procházet Nápověda
Přihlásit se
caryoscelus
/
agda
Sledovat 1
Oblíbit 0
Rozštěpit 0
Soubory Úkoly 0 Pull Requesty 0 Wiki
Strom: 9c190b6ebc
Větve Značky
agda
/
benchmark
/
logs
/
20110907-03.26-Ulfs-MacBook-Pro
ulfn f208ef73e0 benchmark run after pushing types into lambda abstractions před 13 roky
..
ac1 f208ef73e0 benchmark run after pushing types into lambda abstractions před 13 roky
ac2 f208ef73e0 benchmark run after pushing types into lambda abstractions před 13 roky
ac3 f208ef73e0 benchmark run after pushing types into lambda abstractions před 13 roky
cat f208ef73e0 benchmark run after pushing types into lambda abstractions před 13 roky
cwf f208ef73e0 benchmark run after pushing types into lambda abstractions před 13 roky
data f208ef73e0 benchmark run after pushing types into lambda abstractions před 13 roky
functor f208ef73e0 benchmark run after pushing types into lambda abstractions před 13 roky
latemeta f208ef73e0 benchmark run after pushing types into lambda abstractions před 13 roky
monad f208ef73e0 benchmark run after pushing types into lambda abstractions před 13 roky
monadpostulate f208ef73e0 benchmark run after pushing types into lambda abstractions před 13 roky
nested f208ef73e0 benchmark run after pushing types into lambda abstractions před 13 roky
patternmatch f208ef73e0 benchmark run after pushing types into lambda abstractions před 13 roky
polyfunctor f208ef73e0 benchmark run after pushing types into lambda abstractions před 13 roky
prim f208ef73e0 benchmark run after pushing types into lambda abstractions před 13 roky
record f208ef73e0 benchmark run after pushing types into lambda abstractions před 13 roky
syntax1 f208ef73e0 benchmark run after pushing types into lambda abstractions před 13 roky
syntax2 f208ef73e0 benchmark run after pushing types into lambda abstractions před 13 roky