September 2015 Archives by date

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

Starting: Sun Sep 13 13:01:02 CEST 2015
Ending: Mon Sep 28 16:41:36 CEST 2015
Messages: 13

• [Agda-dev] Performance problem due to module aliases   Andreas Abel
• [Agda-dev] Performance problem due to module aliases   Nicolas Pouillard
• [Agda-dev] Testing build of Agda 2.4.2.4 release candidate   Andrés Sicard-Ramírez
• [Agda-dev] Testing build of Agda 2.4.2.4 release candidate   Ulf Norell
• [Agda-dev] ANNOUNCE: Agda 2.4.2.4 release candidate   Andrés Sicard-Ramírez
• [Agda-dev] [ANNOUNCE] Standard library 0.10   Andrés Sicard-Ramírez
• [Agda-dev] Testing build of Agda 2.4.2.4   Andrés Sicard-Ramírez
• [Agda-dev] New 2.4.2.5 branch in the standard library   Andrés Sicard-Ramírez
• [Agda-dev] [ANNOUNCE] Agda 2.4.2.4   Andrés Sicard-Ramírez
• [Agda-dev] Propose work-flow in the standard library repository   Andrés Sicard-Ramírez
• [Agda-dev] 2.4.4 roadmap   Ulf Norell
• [Agda-dev] 2.4.4 roadmap   Jesper Cockx
• [Agda-dev] 2.4.4 roadmap   Ulf Norell

Last message date: Mon Sep 28 16:41:36 CEST 2015
Archived on: Mon Sep 28 16:42:08 CEST 2015

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