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

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