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

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