2025 Archives by subject

• Messages sorted by: [ thread ] [ author ] [ date ]
• More info on this list...

Starting: Fri Jan 3 10:20:30 CET 2025
Ending: Thu Jan 16 01:58:25 CET 2025
Messages: 6

• [Agda] [ANNOUNCE] Agda Standard Library Version 2.2   Matthew Daggitt
• [Agda] [ANNOUNCE] Agda Standard Library Version 2.2   Matthew Daggitt
• [Agda] [ANNOUNCE] Agda Standard Library Version 2.2 - Release Candidate 1   Matthew Daggitt
• [Agda] Final call for participation: LMS/BCS-FACS Online Seminar, Annabelle McIver, 15 January 2025   Andrei Popescu
• [Agda] Final CfP for HoTT/UF 2025   Felix Wellen
• [Agda] POPL 2025 Call for Participation (January 19-25, Denver, Colorado)   Ningning Xie

Last message date: Thu Jan 16 01:58:25 CET 2025
Archived on: Thu Jan 16 01:58:40 CET 2025

• Messages sorted by: [ thread ] [ author ] [ date ]
• More info on this list...