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

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