Startsida Utforska Hjälp
Logga in
caryoscelus
/
agda
Bevaka 1
Stjärnmärk 0
Fork 0
Filer Ärenden 0 Pull-förfrågningar 0 Wiki
Träd: 9c190b6ebc
Grenar Taggar
agda
/
benchmark
/
logs
/
20110915-13.11-Ulfs-MacBook-Pro
ulfn fabf26da75 benchmark run for nuked MonadTCMs 13 år sedan
..
ac1 fabf26da75 benchmark run for nuked MonadTCMs 13 år sedan
ac2 fabf26da75 benchmark run for nuked MonadTCMs 13 år sedan
ac3 fabf26da75 benchmark run for nuked MonadTCMs 13 år sedan
any fabf26da75 benchmark run for nuked MonadTCMs 13 år sedan
cat fabf26da75 benchmark run for nuked MonadTCMs 13 år sedan
cwf fabf26da75 benchmark run for nuked MonadTCMs 13 år sedan
data fabf26da75 benchmark run for nuked MonadTCMs 13 år sedan
functor fabf26da75 benchmark run for nuked MonadTCMs 13 år sedan
latemeta fabf26da75 benchmark run for nuked MonadTCMs 13 år sedan
monad fabf26da75 benchmark run for nuked MonadTCMs 13 år sedan
monadpostulate fabf26da75 benchmark run for nuked MonadTCMs 13 år sedan
nested fabf26da75 benchmark run for nuked MonadTCMs 13 år sedan
patternmatch fabf26da75 benchmark run for nuked MonadTCMs 13 år sedan
polyfunctor fabf26da75 benchmark run for nuked MonadTCMs 13 år sedan
prim fabf26da75 benchmark run for nuked MonadTCMs 13 år sedan
record fabf26da75 benchmark run for nuked MonadTCMs 13 år sedan
syntax1 fabf26da75 benchmark run for nuked MonadTCMs 13 år sedan
syntax2 fabf26da75 benchmark run for nuked MonadTCMs 13 år sedan