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

ulfn 0712beaa2e new benchmark implementing a category record using sigmas		13 tahun lalu
..
ac1	0712beaa2e new benchmark implementing a category record using sigmas	13 tahun lalu
ac2	0712beaa2e new benchmark implementing a category record using sigmas	13 tahun lalu
ac3	0712beaa2e new benchmark implementing a category record using sigmas	13 tahun lalu
cat	0712beaa2e new benchmark implementing a category record using sigmas	13 tahun lalu
cwf	0712beaa2e new benchmark implementing a category record using sigmas	13 tahun lalu
functor	0712beaa2e new benchmark implementing a category record using sigmas	13 tahun lalu
latemeta	0712beaa2e new benchmark implementing a category record using sigmas	13 tahun lalu
monad	0712beaa2e new benchmark implementing a category record using sigmas	13 tahun lalu
monadpostulate	0712beaa2e new benchmark implementing a category record using sigmas	13 tahun lalu
polyfunctor	0712beaa2e new benchmark implementing a category record using sigmas	13 tahun lalu
prim	0712beaa2e new benchmark implementing a category record using sigmas	13 tahun lalu
syntax1	0712beaa2e new benchmark implementing a category record using sigmas	13 tahun lalu
syntax2	0712beaa2e new benchmark implementing a category record using sigmas	13 tahun lalu