[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:
  https://wiki.portal.chalmers.se/agda/Main/AIMXXXV

You can register by editing the wiki page.

---
Best regards,
Oskar

-------------- 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