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

ulfn 70065af55c removed benchmarks using the old tick format and added one in the new		13 yıl önce
..
ac1	70065af55c removed benchmarks using the old tick format and added one in the new	13 yıl önce
ac2	70065af55c removed benchmarks using the old tick format and added one in the new	13 yıl önce
ac3	70065af55c removed benchmarks using the old tick format and added one in the new	13 yıl önce
cat	70065af55c removed benchmarks using the old tick format and added one in the new	13 yıl önce
cwf	70065af55c removed benchmarks using the old tick format and added one in the new	13 yıl önce
functor	70065af55c removed benchmarks using the old tick format and added one in the new	13 yıl önce
latemeta	70065af55c removed benchmarks using the old tick format and added one in the new	13 yıl önce
monad	70065af55c removed benchmarks using the old tick format and added one in the new	13 yıl önce
polyfunctor	70065af55c removed benchmarks using the old tick format and added one in the new	13 yıl önce
syntax1	70065af55c removed benchmarks using the old tick format and added one in the new	13 yıl önce
syntax2	70065af55c removed benchmarks using the old tick format and added one in the new	13 yıl önce