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

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