Etusivu Tutki Apua
Kirjaudu sisään
caryoscelus
/
agda
Tarkkaile 1
Äänestä 0
Fork 0
Tiedostot Ongelmat 0 Pull-pyynnöt 0 Wiki
Puu: 9c190b6ebc
Branchit Tagit
agda
/
benchmark
/
logs
/
20110907-03.26-Ulfs-MacBook-Pro
ulfn f208ef73e0 benchmark run after pushing types into lambda abstractions 13 vuotta sitten
..
ac1 f208ef73e0 benchmark run after pushing types into lambda abstractions 13 vuotta sitten
ac2 f208ef73e0 benchmark run after pushing types into lambda abstractions 13 vuotta sitten
ac3 f208ef73e0 benchmark run after pushing types into lambda abstractions 13 vuotta sitten
cat f208ef73e0 benchmark run after pushing types into lambda abstractions 13 vuotta sitten
cwf f208ef73e0 benchmark run after pushing types into lambda abstractions 13 vuotta sitten
data f208ef73e0 benchmark run after pushing types into lambda abstractions 13 vuotta sitten
functor f208ef73e0 benchmark run after pushing types into lambda abstractions 13 vuotta sitten
latemeta f208ef73e0 benchmark run after pushing types into lambda abstractions 13 vuotta sitten
monad f208ef73e0 benchmark run after pushing types into lambda abstractions 13 vuotta sitten
monadpostulate f208ef73e0 benchmark run after pushing types into lambda abstractions 13 vuotta sitten
nested f208ef73e0 benchmark run after pushing types into lambda abstractions 13 vuotta sitten
patternmatch f208ef73e0 benchmark run after pushing types into lambda abstractions 13 vuotta sitten
polyfunctor f208ef73e0 benchmark run after pushing types into lambda abstractions 13 vuotta sitten
prim f208ef73e0 benchmark run after pushing types into lambda abstractions 13 vuotta sitten
record f208ef73e0 benchmark run after pushing types into lambda abstractions 13 vuotta sitten
syntax1 f208ef73e0 benchmark run after pushing types into lambda abstractions 13 vuotta sitten
syntax2 f208ef73e0 benchmark run after pushing types into lambda abstractions 13 vuotta sitten