[Agda] Agda Implementors' Meeting XVIII

Nils Anders Danielsson nad at cse.gu.se
Sun Jul 21 00:50:21 CEST 2013

                      Agda Implementors' Meeting XVIII

The eighteenth Agda Implementors' Meeting will take place in Göteborg
2013-09-12 to 2013-09-18 (Thu to Wed). Everyone who uses Agda is invited
to attend.

More details will follow later. Some information that was prepared for
the last AIM in Göteborg may still be relevant:



More information about the Agda mailing list