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

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