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

ulfn b5f2ad8726 benchmark run for improved lambda checking		13 年之前
..
ac1	b5f2ad8726 benchmark run for improved lambda checking	13 年之前
ac2	b5f2ad8726 benchmark run for improved lambda checking	13 年之前
ac3	b5f2ad8726 benchmark run for improved lambda checking	13 年之前
cat	b5f2ad8726 benchmark run for improved lambda checking	13 年之前
cwf	b5f2ad8726 benchmark run for improved lambda checking	13 年之前
data	b5f2ad8726 benchmark run for improved lambda checking	13 年之前
functor	b5f2ad8726 benchmark run for improved lambda checking	13 年之前
latemeta	b5f2ad8726 benchmark run for improved lambda checking	13 年之前
monad	b5f2ad8726 benchmark run for improved lambda checking	13 年之前
monadpostulate	b5f2ad8726 benchmark run for improved lambda checking	13 年之前
nested	b5f2ad8726 benchmark run for improved lambda checking	13 年之前
patternmatch	b5f2ad8726 benchmark run for improved lambda checking	13 年之前
polyfunctor	b5f2ad8726 benchmark run for improved lambda checking	13 年之前
prim	b5f2ad8726 benchmark run for improved lambda checking	13 年之前
record	b5f2ad8726 benchmark run for improved lambda checking	13 年之前
syntax1	b5f2ad8726 benchmark run for improved lambda checking	13 年之前
syntax2	b5f2ad8726 benchmark run for improved lambda checking	13 年之前