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

Andrés Sicard-Ramírez dcd3b453cb [ fix-agda-whithespace ] Added .agda, .cabal and .md files.		10 роки тому
..
Lecture	dcd3b453cb [ fix-agda-whithespace ] Added .agda, .cabal and .md files.	10 роки тому
Solutions	88749c6e2a solutions to summer school exercises	17 роки тому