[Agda] AIM 10 notes
Patrik Jansson
patrikj at chalmers.se
Sat Sep 19 22:53:35 CEST 2009
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.
More information about the Agda
mailing list