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