December 2014 Archives by subject

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

Starting: Tue Dec 2 22:49:14 CEST 2014
Ending: Fri Dec 19 04:01:29 CEST 2014
Messages: 27

• [Agda-dev] More efficient handling of TopLevelModuleNames   Andreas Abel
• [Agda-dev] More efficient handling of TopLevelModuleNames   Nicolas Pouillard
• [Agda-dev] More efficient handling of TopLevelModuleNames   Dominique Devriese
• [Agda-dev] More efficient handling of TopLevelModuleNames   Andreas Abel
• [Agda-dev] More efficient handling of TopLevelModuleNames   Dominique Devriese
• [Agda-dev] More efficient handling of TopLevelModuleNames   Guilhem Moulin
• [Agda-dev] More efficient handling of TopLevelModuleNames   Dominique Devriese
• [Agda-dev] More efficient handling of TopLevelModuleNames   Nicolas Pouillard
• [Agda-dev] More efficient handling of TopLevelModuleNames   Andreas Abel
• [Agda-dev] More efficient handling of TopLevelModuleNames   Guillaume Brunerie
• [Agda-dev] More efficient handling of TopLevelModuleNames   Andreas Abel
• [Agda-dev] More efficient handling of TopLevelModuleNames   Dominique Devriese
• [Agda-dev] More efficient handling of TopLevelModuleNames   Andreas Abel
• [Agda-dev] More efficient handling of TopLevelModuleNames   Dominique Devriese
• [Agda-dev] Re: Test   Andreas Abel
• [Agda-dev] RFC: New semantics for record declarations   Andreas Abel
• [Agda-dev] RFC: New semantics for record declarations   Nicolas Pouillard
• [Agda-dev] RFC: New semantics for record declarations   Andreas Abel
• [Agda-dev] RFC: New semantics for record declarations   James Chapman
• [Agda-dev] RFC: New semantics for record declarations   Andreas Abel
• [Agda-dev] Termination   Hans Peter Würmli
• [Agda-dev] Termination   Andreas Abel
• [Agda-dev] Termination   Hans Peter Würmli
• [Agda-dev] Termination   Pierre Hyvernat
• [Agda-dev] Termination   Andreas Abel
• [agda-dev] Test   Andreas Abel
• [Agda-dev] Vulnerability announced: update your Git clients   Andrés Sicard-Ramírez

Last message date: Fri Dec 19 04:01:29 CEST 2014
Archived on: Fri Dec 19 04:02:16 CEST 2014

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