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

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