June 2017 Archives by thread

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

Starting: Wed Jun 7 23:04:38 CEST 2017
Ending: Thu Jun 8 10:37:58 CEST 2017
Messages: 5

• [Agda-dev] Agda std-lib maintainer   Andreas Abel
  • [Agda-dev] Agda std-lib maintainer   Ulf Norell
    • [Agda-dev] Agda std-lib maintainer   Andreas Abel
  • [Agda-dev] Agda std-lib maintainer   G. Allais
    • [Agda-dev] Agda std-lib maintainer   Andreas Abel

Last message date: Thu Jun 8 10:37:58 CEST 2017
Archived on: Thu Jun 8 10:37:59 CEST 2017

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