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 година