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 年之前