[Agda] DDP 2024

edprocess dline.info edprocess at dline.info
Tue May 7 09:34:07 CEST 2024

Previous message (by thread): [Agda] Types 2024, second call for participation
Next message (by thread): [Agda] DDP 2024
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20240507/dd329f50/attachment.html>

Previous message (by thread): [Agda] Types 2024, second call for participation
Next message (by thread): [Agda] DDP 2024
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Agda mailing list