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

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