[Agda] F-IDE 2021 - 2nd Call for Papers

Andrei Paskevich andrei.paskevich at lri.fr
Fri Jan 8 18:52:44 CET 2021

Previous message (by thread): [Agda] [TFP'21] final call for papers: Trends in Functional Programming 2021, 17-19 February (online event with Lambda Days 2021 & TFPIE 2021)
Next message (by thread): [Agda] expensive `with'
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/20210108/2017c4e0/attachment.ksh>

Previous message (by thread): [Agda] [TFP'21] final call for papers: Trends in Functional Programming 2021, 17-19 February (online event with Lambda Days 2021 & TFPIE 2021)
Next message (by thread): [Agda] expensive `with'
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Agda mailing list