June 2018 Archives by date

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

Starting: Sat Jun 2 22:06:26 CEST 2018
Ending: Tue Jun 26 11:15:21 CEST 2018
Messages: 5

• [Agda-dev] [ANNOUNCE] Agda 2.5.4   Andrés Sicard-Ramírez
• [Agda-dev] New branch policy (issue #3104)   Ulf Norell
• [Agda-dev] Using the size solver to get proto-cumulativity   peio borthelle
• [Agda-dev] Using the size solver to get proto-cumulativity   Guillaume Allais
• [Agda-dev] Using the size solver to get proto-cumulativity   Jesper Cockx

Last message date: Tue Jun 26 11:15:21 CEST 2018
Archived on: Tue Jun 26 11:15:44 CEST 2018

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