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