[Agda] F-IDE 2021 - Call for Papers

Andrei Paskevich andrei.paskevich at lri.fr
Mon Oct 19 18:17:41 CEST 2020

Previous message (by thread): [Agda] any known proof of ⊥ that does not syntactically use ∞ ?
Next message (by thread): [Agda] agda2lagda (Halloween edition): Agda for the illiterate
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/20201019/f827528d/attachment.ksh>

Previous message (by thread): [Agda] any known proof of ⊥ that does not syntactically use ∞ ?
Next message (by thread): [Agda] agda2lagda (Halloween edition): Agda for the illiterate
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Agda mailing list