[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