March 2019 Archives by thread

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

Starting: Thu Mar 7 11:18:44 CET 2019
Ending: Sat Mar 30 09:04:02 CET 2019
Messages: 5

• [Agda-dev] Signature in Closure type   Andrea Vezzosi
  • [Agda-dev] Signature in Closure type   Jesper Cockx
• [Agda-dev] [ANNOUNCE] Agda 2.6.0 release candidate 1   Andres Sicard Ramirez
• [Agda-dev] Run the testsuite before pushing to master   Andreas Abel
• [Agda-dev] Issue label de-Bruijn   Andreas Abel

Last message date: Sat Mar 30 09:04:02 CET 2019
Archived on: Sat Mar 30 09:04:08 CET 2019

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