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 년 전