May 2018 Archives by thread

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

Starting: Fri May 18 10:53:54 CEST 2018
Ending: Mon May 28 17:35:12 CEST 2018
Messages: 8

• [Agda-dev] Why do we support cpp?   Jesper Cockx
  • [Agda-dev] Why do we support cpp?   Ulf Norell
    • [Agda-dev] Why do we support cpp?   Jesper Cockx
      • [Agda-dev] Why do we support cpp?   Ulf Norell
  • [Agda-dev] Why do we support cpp?   Andrés Sicard-Ramírez
• [Agda-dev] [ANNOUNCE] Agda 2.5.4 release candidate 1   Andrés Sicard-Ramírez
• [Agda-dev] [ANNOUNCE] Agda 2.5.4 release candidate 2   Andrés Sicard-Ramírez
• [Agda-dev] Old issues and the icebox   Ulf Norell

Last message date: Mon May 28 17:35:12 CEST 2018
Archived on: Mon May 28 17:35:44 CEST 2018

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