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

ulfn f894a74496 switched prim benchmark to using a record for sigma and two new benchmark runs		13 年之前
..
ac1	f894a74496 switched prim benchmark to using a record for sigma and two new benchmark runs	13 年之前
ac2	f894a74496 switched prim benchmark to using a record for sigma and two new benchmark runs	13 年之前
ac3	f894a74496 switched prim benchmark to using a record for sigma and two new benchmark runs	13 年之前
cat	f894a74496 switched prim benchmark to using a record for sigma and two new benchmark runs	13 年之前
cwf	f894a74496 switched prim benchmark to using a record for sigma and two new benchmark runs	13 年之前
functor	f894a74496 switched prim benchmark to using a record for sigma and two new benchmark runs	13 年之前
latemeta	f894a74496 switched prim benchmark to using a record for sigma and two new benchmark runs	13 年之前
monad	f894a74496 switched prim benchmark to using a record for sigma and two new benchmark runs	13 年之前
monadpostulate	f894a74496 switched prim benchmark to using a record for sigma and two new benchmark runs	13 年之前
polyfunctor	f894a74496 switched prim benchmark to using a record for sigma and two new benchmark runs	13 年之前
prim	f894a74496 switched prim benchmark to using a record for sigma and two new benchmark runs	13 年之前
syntax1	f894a74496 switched prim benchmark to using a record for sigma and two new benchmark runs	13 年之前
syntax2	f894a74496 switched prim benchmark to using a record for sigma and two new benchmark runs	13 年之前