January 2017 Archives by subject

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

Starting: Wed Jan 11 02:35:58 CET 2017
Ending: Fri Jan 27 21:04:27 CET 2017
Messages: 3

• [Agda-dev] Design question about eta-equality for records   Andreas Abel
• [Agda-dev] STOP pushing into the Agda repository   Andrés Sicard-Ramírez
• [Agda-dev] STOP pushing into the Agda repository   Andrés Sicard-Ramírez

Last message date: Fri Jan 27 21:04:27 CET 2017
Archived on: Fri Jan 27 21:04:29 CET 2017

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