[Agda] Agda Implementors' Meeting XXXII

Nils Anders Danielsson nad at cse.gu.se
Fri Apr 24 13:38:54 CEST 2020


AIM XXXII takes place online from 2020-05-25 to 2020-06-05. See the wiki
for details:

   https://wiki.portal.chalmers.se/agda/Main/AIMXXXII

You can register by editing the wiki page.

-- 
/NAD


More information about the Agda mailing list