[Agda] F-IDE 2021 - Last Call for Papers - Extended Deadline

Andrei Paskevich andrei.paskevich at lri.fr
Wed Feb 24 21:28:35 CET 2021

Previous message (by thread): [Agda] Call for Contributions: (Virtual) Workshop on Homotopy Type Theory and Univalent Foundations (HoTT/UF'21) on July 17-18, 2021
Next message (by thread): [Agda] Tips for working around proof relevance
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

An embedded and charset-unspecified text was scrubbed...
Name: not available
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20210224/b9684514/attachment.ksh>

Previous message (by thread): [Agda] Call for Contributions: (Virtual) Workshop on Homotopy Type Theory and Univalent Foundations (HoTT/UF'21) on July 17-18, 2021
Next message (by thread): [Agda] Tips for working around proof relevance
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Agda mailing list