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

ulfn dadd7ef57f benchmark run with new state monad implementation		13 rokov pred
..
ac1	dadd7ef57f benchmark run with new state monad implementation	13 rokov pred
ac2	dadd7ef57f benchmark run with new state monad implementation	13 rokov pred
ac3	dadd7ef57f benchmark run with new state monad implementation	13 rokov pred
cat	dadd7ef57f benchmark run with new state monad implementation	13 rokov pred
cwf	dadd7ef57f benchmark run with new state monad implementation	13 rokov pred
data	dadd7ef57f benchmark run with new state monad implementation	13 rokov pred
functor	dadd7ef57f benchmark run with new state monad implementation	13 rokov pred
latemeta	dadd7ef57f benchmark run with new state monad implementation	13 rokov pred
monad	dadd7ef57f benchmark run with new state monad implementation	13 rokov pred
monadpostulate	dadd7ef57f benchmark run with new state monad implementation	13 rokov pred
nested	dadd7ef57f benchmark run with new state monad implementation	13 rokov pred
patternmatch	dadd7ef57f benchmark run with new state monad implementation	13 rokov pred
polyfunctor	dadd7ef57f benchmark run with new state monad implementation	13 rokov pred
prim	dadd7ef57f benchmark run with new state monad implementation	13 rokov pred
record	dadd7ef57f benchmark run with new state monad implementation	13 rokov pred
syntax1	dadd7ef57f benchmark run with new state monad implementation	13 rokov pred
syntax2	dadd7ef57f benchmark run with new state monad implementation	13 rokov pred