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

Ulf Norell d573394115 [ test ] update benchmarks for new std-lib commit		пре 6 година
..
IndexedMap.agda	aa93d46c40 Updated benchmark code (the standard library has been changed).	пре 13 година
Monad.agda	d573394115 [ test ] update benchmarks for new std-lib commit	пре 6 година
MonadPostulates.agda	d573394115 [ test ] update benchmarks for new std-lib commit	пре 6 година