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

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