[Agda] Agda Implementors' Meeting XXXII

Nils Anders Danielsson nad at cse.gu.se
Fri Apr 24 13:38:54 CEST 2020

Previous message (by thread): [Agda] Transcendental Syntax
Next message (by thread): [Agda] a strange function type report
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

AIM XXXII takes place online from 2020-05-25 to 2020-06-05. See the wiki
for details:

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

You can register by editing the wiki page.

-- 
/NAD

Previous message (by thread): [Agda] Transcendental Syntax
Next message (by thread): [Agda] a strange function type report
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Agda mailing list