caryoscelus/agda: My dev branches of agda (i.e. mostly a mirror) @ js_amd

ulfn dadd7ef57f benchmark run with new state monad implementation		пре 13 година
..
ac1	dadd7ef57f benchmark run with new state monad implementation	пре 13 година
ac2	dadd7ef57f benchmark run with new state monad implementation	пре 13 година
ac3	dadd7ef57f benchmark run with new state monad implementation	пре 13 година
cat	dadd7ef57f benchmark run with new state monad implementation	пре 13 година
cwf	dadd7ef57f benchmark run with new state monad implementation	пре 13 година
data	dadd7ef57f benchmark run with new state monad implementation	пре 13 година
functor	dadd7ef57f benchmark run with new state monad implementation	пре 13 година
latemeta	dadd7ef57f benchmark run with new state monad implementation	пре 13 година
monad	dadd7ef57f benchmark run with new state monad implementation	пре 13 година
monadpostulate	dadd7ef57f benchmark run with new state monad implementation	пре 13 година
nested	dadd7ef57f benchmark run with new state monad implementation	пре 13 година
patternmatch	dadd7ef57f benchmark run with new state monad implementation	пре 13 година
polyfunctor	dadd7ef57f benchmark run with new state monad implementation	пре 13 година
prim	dadd7ef57f benchmark run with new state monad implementation	пре 13 година
record	dadd7ef57f benchmark run with new state monad implementation	пре 13 година
syntax1	dadd7ef57f benchmark run with new state monad implementation	пре 13 година
syntax2	dadd7ef57f benchmark run with new state monad implementation	пре 13 година