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

ulfn dadd7ef57f benchmark run with new state monad implementation		13 yıl önce
..
ac1	dadd7ef57f benchmark run with new state monad implementation	13 yıl önce
ac2	dadd7ef57f benchmark run with new state monad implementation	13 yıl önce
ac3	dadd7ef57f benchmark run with new state monad implementation	13 yıl önce
cat	dadd7ef57f benchmark run with new state monad implementation	13 yıl önce
cwf	dadd7ef57f benchmark run with new state monad implementation	13 yıl önce
data	dadd7ef57f benchmark run with new state monad implementation	13 yıl önce
functor	dadd7ef57f benchmark run with new state monad implementation	13 yıl önce
latemeta	dadd7ef57f benchmark run with new state monad implementation	13 yıl önce
monad	dadd7ef57f benchmark run with new state monad implementation	13 yıl önce
monadpostulate	dadd7ef57f benchmark run with new state monad implementation	13 yıl önce
nested	dadd7ef57f benchmark run with new state monad implementation	13 yıl önce
patternmatch	dadd7ef57f benchmark run with new state monad implementation	13 yıl önce
polyfunctor	dadd7ef57f benchmark run with new state monad implementation	13 yıl önce
prim	dadd7ef57f benchmark run with new state monad implementation	13 yıl önce
record	dadd7ef57f benchmark run with new state monad implementation	13 yıl önce
syntax1	dadd7ef57f benchmark run with new state monad implementation	13 yıl önce
syntax2	dadd7ef57f benchmark run with new state monad implementation	13 yıl önce