January 2020 Archives by author

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

Starting: Sun Jan 5 23:52:35 CET 2020
Ending: Tue Jan 14 13:33:56 CET 2020
Messages: 5

• [Agda-dev] Fwd: [coqdev] Tabled typeclass resolution   Guillaume Allais
• [Agda-dev] Implementing a solver for universe levels   Jesper Cockx
• [Agda-dev] Implementing a solver for universe levels   Jesper Cockx
• [Agda-dev] Implementing a solver for universe levels   Marko Dimjašević
• [Agda-dev] Implementing a solver for universe levels   Marko Dimjašević

Last message date: Tue Jan 14 13:33:56 CET 2020
Archived on: Tue Jan 14 13:34:59 CET 2020

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