April 2016 Archives by author

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

Starting: Wed Apr 13 17:34:16 CEST 2016
Ending: Sun Apr 17 04:08:19 CEST 2016
Messages: 6

• [Agda-dev] [ANNOUNCE] Agda 2.5.1 release candidate 2   Andrés Sicard-Ramírez
• [Agda-dev] Re: [ANNOUNCE] Agda 2.5.1 release candidate 2   Andrés Sicard-Ramírez
• [Agda-dev] Re: [ANNOUNCE] Agda 2.5.1 release candidate 2   Andrés Sicard-Ramírez
• [Agda-dev] Changes in the repository due to Agda 2.5.1   Andrés Sicard-Ramírez
• [Agda-dev] [ANNOUNCE] Agda 2.5.1   Andrés Sicard-Ramírez
• [Agda-dev] [ANNOUNCE] Standard library 0.12   Andrés Sicard-Ramírez

Last message date: Sun Apr 17 04:08:19 CEST 2016
Archived on: Sun Apr 17 04:09:01 CEST 2016

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