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

ulfn 15b32664d4 benchmark run with projection-like functions		13 년 전
..
ac1	15b32664d4 benchmark run with projection-like functions	13 년 전
ac2	15b32664d4 benchmark run with projection-like functions	13 년 전
ac3	15b32664d4 benchmark run with projection-like functions	13 년 전
cat	15b32664d4 benchmark run with projection-like functions	13 년 전
cwf	15b32664d4 benchmark run with projection-like functions	13 년 전
data	15b32664d4 benchmark run with projection-like functions	13 년 전
functor	15b32664d4 benchmark run with projection-like functions	13 년 전
latemeta	15b32664d4 benchmark run with projection-like functions	13 년 전
monad	15b32664d4 benchmark run with projection-like functions	13 년 전
monadpostulate	15b32664d4 benchmark run with projection-like functions	13 년 전
nested	15b32664d4 benchmark run with projection-like functions	13 년 전
patternmatch	15b32664d4 benchmark run with projection-like functions	13 년 전
polyfunctor	15b32664d4 benchmark run with projection-like functions	13 년 전
prim	15b32664d4 benchmark run with projection-like functions	13 년 전
record	15b32664d4 benchmark run with projection-like functions	13 년 전
syntax1	15b32664d4 benchmark run with projection-like functions	13 년 전
syntax2	15b32664d4 benchmark run with projection-like functions	13 년 전