[Agda] Digital Data Processing 2023 IEEE CPS

edprocess dline.info edprocess at dline.info
Mon Aug 7 13:00:06 CEST 2023

Previous message (by thread): [Agda] [ANNOUNCE] Agda 2.6.4 release candidate 1
Next message (by thread): [Agda] Second Call for Submissions: Student Research Competition and Posters, APLAS 2023
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Digital Data Process
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20230807/111eeb32/attachment.html>

Previous message (by thread): [Agda] [ANNOUNCE] Agda 2.6.4 release candidate 1
Next message (by thread): [Agda] Second Call for Submissions: Student Research Competition and Posters, APLAS 2023
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Agda mailing list