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 роки тому
..
SomeBasicStuff.agda	1e7384014c [ examples ] Fixed Conor's DTP08 talk	10 роки тому
Talk.agda	4ffc934df9 Merge agda-maint	9 роки тому