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

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