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

Ulf Norell 2f212bf556 Add --auto-inline and make it off by default		4 lat temu
..
Any.agda	2f212bf556 Add --auto-inline and make it off by default	4 lat temu