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

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