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

Andrés Sicard-Ramírez 4ffc934df9 Merge agda-maint		9 роки тому
..
conor	4ffc934df9 Merge agda-maint	9 роки тому
ulf	85deb1aaef [ examples test ] Ulf's DTP08 talk is not outdated	10 роки тому