Kezdőlap Felfedezés Súgó
Bejelentkezés
caryoscelus
/
agda
Figyelés 1
Kedvenc 0
Másolás 0
Fájlok Problémák 0 Beolvasztási kérések 0 Wiki
Branch: js_amd
Branch-ok Tag-ek
agda
/
benchmark
/
logs
/
20110906-12.30-Ulfs-MacBook-Pro
ulfn dadd7ef57f benchmark run with new state monad implementation 13 éve
..
ac1 dadd7ef57f benchmark run with new state monad implementation 13 éve
ac2 dadd7ef57f benchmark run with new state monad implementation 13 éve
ac3 dadd7ef57f benchmark run with new state monad implementation 13 éve
cat dadd7ef57f benchmark run with new state monad implementation 13 éve
cwf dadd7ef57f benchmark run with new state monad implementation 13 éve
data dadd7ef57f benchmark run with new state monad implementation 13 éve
functor dadd7ef57f benchmark run with new state monad implementation 13 éve
latemeta dadd7ef57f benchmark run with new state monad implementation 13 éve
monad dadd7ef57f benchmark run with new state monad implementation 13 éve
monadpostulate dadd7ef57f benchmark run with new state monad implementation 13 éve
nested dadd7ef57f benchmark run with new state monad implementation 13 éve
patternmatch dadd7ef57f benchmark run with new state monad implementation 13 éve
polyfunctor dadd7ef57f benchmark run with new state monad implementation 13 éve
prim dadd7ef57f benchmark run with new state monad implementation 13 éve
record dadd7ef57f benchmark run with new state monad implementation 13 éve
syntax1 dadd7ef57f benchmark run with new state monad implementation 13 éve
syntax2 dadd7ef57f benchmark run with new state monad implementation 13 éve