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

ulfn 2b65ab42a0 benchmark run with number of metas		13 년 전
..
ac1	2b65ab42a0 benchmark run with number of metas	13 년 전
ac2	2b65ab42a0 benchmark run with number of metas	13 년 전
ac3	2b65ab42a0 benchmark run with number of metas	13 년 전
cat	2b65ab42a0 benchmark run with number of metas	13 년 전
cwf	2b65ab42a0 benchmark run with number of metas	13 년 전
functor	2b65ab42a0 benchmark run with number of metas	13 년 전
latemeta	2b65ab42a0 benchmark run with number of metas	13 년 전
monad	2b65ab42a0 benchmark run with number of metas	13 년 전
polyfunctor	2b65ab42a0 benchmark run with number of metas	13 년 전
syntax1	2b65ab42a0 benchmark run with number of metas	13 년 전
syntax2	2b65ab42a0 benchmark run with number of metas	13 년 전