July 2016 Archives by author

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

Starting: Fri Jul 1 20:45:39 CEST 2016
Ending: Mon Jul 4 13:10:54 CEST 2016
Messages: 4

• [Agda-dev] Summer riddle   Andreas Abel
• [Agda-dev] Summer riddle   Andreas Abel
• [Agda-dev] Summer riddle   Ulf Norell
• [Agda-dev] RFC: New semantics for record declarations   Christian Sattler

Last message date: Mon Jul 4 13:10:54 CEST 2016
Archived on: Mon Jul 4 13:10:57 CEST 2016

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