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

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