June 2019 Archives by date

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

Starting: Wed Jun 19 09:54:22 CEST 2019
Ending: Wed Jun 19 11:40:31 CEST 2019
Messages: 2

• [Agda-dev] Meta-theoretical implications of first class Level   Guillaume Allais
• [Agda-dev] Meta-theoretical implications of first class Level   Guillaume Brunerie

Last message date: Wed Jun 19 11:40:31 CEST 2019
Archived on: Wed Jun 19 11:40:44 CEST 2019

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