[Agda] Agda Implementors' Meeting XXXV

[Oskar Eriksson]

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>