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

ulfn 9e5b6c61d3 benchmarks for projection like functions (category example with data sigma and nested record sigma)		пре 13 година
..
ac1	9e5b6c61d3 benchmarks for projection like functions (category example with data sigma and nested record sigma)	пре 13 година
ac2	9e5b6c61d3 benchmarks for projection like functions (category example with data sigma and nested record sigma)	пре 13 година
ac3	9e5b6c61d3 benchmarks for projection like functions (category example with data sigma and nested record sigma)	пре 13 година
cat	9e5b6c61d3 benchmarks for projection like functions (category example with data sigma and nested record sigma)	пре 13 година
cwf	9e5b6c61d3 benchmarks for projection like functions (category example with data sigma and nested record sigma)	пре 13 година
data	9e5b6c61d3 benchmarks for projection like functions (category example with data sigma and nested record sigma)	пре 13 година
functor	9e5b6c61d3 benchmarks for projection like functions (category example with data sigma and nested record sigma)	пре 13 година
latemeta	9e5b6c61d3 benchmarks for projection like functions (category example with data sigma and nested record sigma)	пре 13 година
monad	9e5b6c61d3 benchmarks for projection like functions (category example with data sigma and nested record sigma)	пре 13 година
monadpostulate	9e5b6c61d3 benchmarks for projection like functions (category example with data sigma and nested record sigma)	пре 13 година
nested	9e5b6c61d3 benchmarks for projection like functions (category example with data sigma and nested record sigma)	пре 13 година
patternmatch	9e5b6c61d3 benchmarks for projection like functions (category example with data sigma and nested record sigma)	пре 13 година
polyfunctor	9e5b6c61d3 benchmarks for projection like functions (category example with data sigma and nested record sigma)	пре 13 година
prim	9e5b6c61d3 benchmarks for projection like functions (category example with data sigma and nested record sigma)	пре 13 година
record	9e5b6c61d3 benchmarks for projection like functions (category example with data sigma and nested record sigma)	пре 13 година
syntax1	9e5b6c61d3 benchmarks for projection like functions (category example with data sigma and nested record sigma)	пре 13 година
syntax2	9e5b6c61d3 benchmarks for projection like functions (category example with data sigma and nested record sigma)	пре 13 година