[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:
http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Main.AIMXIII
--
/NAD
More information about the Agda
mailing list