[Agda] Agda Implementors' Meeting XXXV

Oskar Eriksson oskeri at chalmers.se
Mon Apr 11 14:09:35 CEST 2022

AIM XXXV will take place online from 2022-05-03 to 2022-05-13.
See the wiki for details:

You can register by editing the wiki page.

Best regards,

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20220411/8734d005/attachment.html>

More information about the Agda mailing list