[Agda] New agda-categories released (to match agda-stdlib 2.0)

Carette, Jacques carette at mcmaster.ca
Tue Dec 26 20:53:18 CET 2023

Previous message (by thread): [Agda] [TFP (and TFPiE) 2024] Call For Participation (January 9-12, Seton Hall University, NJ, USA)
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

An HTML attachment was scrubbed...
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20231226/3088cc6a/attachment.html>

Previous message (by thread): [Agda] [TFP (and TFPiE) 2024] Call For Participation (January 9-12, Seton Hall University, NJ, USA)
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Agda mailing list