[Agda] A preliminary programme for AIM XXXII

Nils Anders Danielsson nad at cse.gu.se
Fri May 22 16:27:55 CEST 2020


Hi,

A preliminary programme for AIM XXXII can now be found on the wiki:

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

If you are giving a talk or leading a discussion, and the time does not
work for you, please let me know.

-- 
/NAD


More information about the Agda mailing list