[Agda] AIM 10 notes

[Patrik Jansson]

AIM 10 is over but some notes and slides have been collected on the wiki:

  http://wiki.portal.chalmers.se/agda/Main.AIMX

I want to thank the organisers, the speakers and the participants for an 
interesting week!

Please edit if you find errors or want to clarify the notes.

/Patrik

PS. Ulf, Fredrik, Thierry, Thorsten, Norio: it would be great if your 
talks could be linked in as well.