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 年之前