December 2016 Archives by subject

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

Starting: Sat Dec 17 15:51:37 CEST 2016
Ending: Thu Dec 22 15:23:28 CEST 2016
Messages: 3

• [Agda-dev] [ANNOUNCE] Agda 2.5.2   Andrés Sicard-Ramírez
• [Agda-dev] [ANNOUNCE] Agda 2.5.2 release candidate 1   Andrés Sicard-Ramírez
• [Agda-dev] [ANNOUNCE] Standard library 0.13   Andrés Sicard-Ramírez

Last message date: Thu Dec 22 15:23:28 CEST 2016
Archived on: Thu Dec 22 15:24:25 CEST 2016

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