December 2015 Archives by thread

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

Starting: Sun Dec 6 06:11:47 CEST 2015
Ending: Sat Dec 19 18:04:07 CEST 2015
Messages: 7

• [Agda-dev] Changes in the repository after fixing #1730   Andrés Sicard-Ramírez
• [Agda-dev] A new unifier for case splitting   Jesper Cockx
  • [Agda-dev] A new unifier for case splitting   Andrés Sicard-Ramírez
• [Agda-dev] ANNOUNCE: Agda 2.4.2.5 release candidate   Andrés Sicard-Ramírez
• [Agda-dev] New 2.4.2.6 branch in the standard library repository   Andrés Sicard-Ramírez
• [Agda-dev] [ANNOUNCE] Agda 2.4.2.5   Andrés Sicard-Ramírez
• [Agda-dev] MAlonzo reference   Andrés Sicard-Ramírez

Last message date: Sat Dec 19 18:04:07 CEST 2015
Archived on: Sat Dec 19 18:04:49 CEST 2015

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