[Agda] Reminder: Agda Implementors' Meeting XII

Nils Anders Danielsson nad at Cs.Nott.AC.UK
Sun Aug 22 09:52:18 CEST 2010


Hi,

AIM XII is soon upon us. If you plan to attend and have not registered
yet, please do so soon, to ease our planning.

   http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Main.AIMXII

-- 
/NAD


More information about the Agda mailing list