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-04.48-Ulfs-MacBook-Pro
ulfn b5f2ad8726 benchmark run for improved lambda checking 13 vuotta sitten
..
ac1 b5f2ad8726 benchmark run for improved lambda checking 13 vuotta sitten
ac2 b5f2ad8726 benchmark run for improved lambda checking 13 vuotta sitten
ac3 b5f2ad8726 benchmark run for improved lambda checking 13 vuotta sitten
cat b5f2ad8726 benchmark run for improved lambda checking 13 vuotta sitten
cwf b5f2ad8726 benchmark run for improved lambda checking 13 vuotta sitten
data b5f2ad8726 benchmark run for improved lambda checking 13 vuotta sitten
functor b5f2ad8726 benchmark run for improved lambda checking 13 vuotta sitten
latemeta b5f2ad8726 benchmark run for improved lambda checking 13 vuotta sitten
monad b5f2ad8726 benchmark run for improved lambda checking 13 vuotta sitten
monadpostulate b5f2ad8726 benchmark run for improved lambda checking 13 vuotta sitten
nested b5f2ad8726 benchmark run for improved lambda checking 13 vuotta sitten
patternmatch b5f2ad8726 benchmark run for improved lambda checking 13 vuotta sitten
polyfunctor b5f2ad8726 benchmark run for improved lambda checking 13 vuotta sitten
prim b5f2ad8726 benchmark run for improved lambda checking 13 vuotta sitten
record b5f2ad8726 benchmark run for improved lambda checking 13 vuotta sitten
syntax1 b5f2ad8726 benchmark run for improved lambda checking 13 vuotta sitten
syntax2 b5f2ad8726 benchmark run for improved lambda checking 13 vuotta sitten