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
Fa: 9c190b6ebc
Branch-ok Tag-ek
agda
/
benchmark
/
logs
/
20110915-13.11-Ulfs-MacBook-Pro
ulfn fabf26da75 benchmark run for nuked MonadTCMs 13 éve
..
ac1 fabf26da75 benchmark run for nuked MonadTCMs 13 éve
ac2 fabf26da75 benchmark run for nuked MonadTCMs 13 éve
ac3 fabf26da75 benchmark run for nuked MonadTCMs 13 éve
any fabf26da75 benchmark run for nuked MonadTCMs 13 éve
cat fabf26da75 benchmark run for nuked MonadTCMs 13 éve
cwf fabf26da75 benchmark run for nuked MonadTCMs 13 éve
data fabf26da75 benchmark run for nuked MonadTCMs 13 éve
functor fabf26da75 benchmark run for nuked MonadTCMs 13 éve
latemeta fabf26da75 benchmark run for nuked MonadTCMs 13 éve
monad fabf26da75 benchmark run for nuked MonadTCMs 13 éve
monadpostulate fabf26da75 benchmark run for nuked MonadTCMs 13 éve
nested fabf26da75 benchmark run for nuked MonadTCMs 13 éve
patternmatch fabf26da75 benchmark run for nuked MonadTCMs 13 éve
polyfunctor fabf26da75 benchmark run for nuked MonadTCMs 13 éve
prim fabf26da75 benchmark run for nuked MonadTCMs 13 éve
record fabf26da75 benchmark run for nuked MonadTCMs 13 éve
syntax1 fabf26da75 benchmark run for nuked MonadTCMs 13 éve
syntax2 fabf26da75 benchmark run for nuked MonadTCMs 13 éve