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

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