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

ulfn 598bd70d43 benchmark run with new computer		vor 13 Jahren
..
ac1	598bd70d43 benchmark run with new computer	vor 13 Jahren
ac2	598bd70d43 benchmark run with new computer	vor 13 Jahren
ac3	598bd70d43 benchmark run with new computer	vor 13 Jahren
cat	598bd70d43 benchmark run with new computer	vor 13 Jahren
cwf	598bd70d43 benchmark run with new computer	vor 13 Jahren
functor	598bd70d43 benchmark run with new computer	vor 13 Jahren
latemeta	598bd70d43 benchmark run with new computer	vor 13 Jahren
monad	598bd70d43 benchmark run with new computer	vor 13 Jahren
monadpostulate	598bd70d43 benchmark run with new computer	vor 13 Jahren
polyfunctor	598bd70d43 benchmark run with new computer	vor 13 Jahren
prim	598bd70d43 benchmark run with new computer	vor 13 Jahren
syntax1	598bd70d43 benchmark run with new computer	vor 13 Jahren
syntax2	598bd70d43 benchmark run with new computer	vor 13 Jahren