[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]Dear all, The thirty-sixth Agda Implementors' Meeting will take place in Delft, NL from Wednesday, 2023-05-10 to Tuesday, 2023-05-16.Wiki link for more details: https://wiki.portal.chalmers.se/agda/Main/AIMXXXVI The meeting aims to bring together people not only developing but also using Agda or even those who are simply interested in it. We will have talks on the implementation details of Agda in the morning and code sprints in the afternoon. You can still submit your proposal for a talk or discussion! There's a (soft) deadline for registration on 2023-04-12 Registration instructions: https://wiki.portal.chalmers.se/agda/Main/AIMXXXVI#Registration -- Jesper
publickey - [email protected] - 0x42DD5655.asc
Description: application/pgp-keys
signature.asc
Description: OpenPGP digital signature
