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

ulfn dadd7ef57f benchmark run with new state monad implementation		преди 13 години
..
ac1	dadd7ef57f benchmark run with new state monad implementation	преди 13 години
ac2	dadd7ef57f benchmark run with new state monad implementation	преди 13 години
ac3	dadd7ef57f benchmark run with new state monad implementation	преди 13 години
cat	dadd7ef57f benchmark run with new state monad implementation	преди 13 години
cwf	dadd7ef57f benchmark run with new state monad implementation	преди 13 години
data	dadd7ef57f benchmark run with new state monad implementation	преди 13 години
functor	dadd7ef57f benchmark run with new state monad implementation	преди 13 години
latemeta	dadd7ef57f benchmark run with new state monad implementation	преди 13 години
monad	dadd7ef57f benchmark run with new state monad implementation	преди 13 години
monadpostulate	dadd7ef57f benchmark run with new state monad implementation	преди 13 години
nested	dadd7ef57f benchmark run with new state monad implementation	преди 13 години
patternmatch	dadd7ef57f benchmark run with new state monad implementation	преди 13 години
polyfunctor	dadd7ef57f benchmark run with new state monad implementation	преди 13 години
prim	dadd7ef57f benchmark run with new state monad implementation	преди 13 години
record	dadd7ef57f benchmark run with new state monad implementation	преди 13 години
syntax1	dadd7ef57f benchmark run with new state monad implementation	преди 13 години
syntax2	dadd7ef57f benchmark run with new state monad implementation	преди 13 години