August 2015 Archives by author

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

Starting: Sat Aug 8 18:25:43 CEST 2015
Ending: Fri Aug 28 11:57:03 CEST 2015
Messages: 12

• [Agda-dev] Migration of the issues from Google Code (Was: google code is nearing the end)   Andrés Sicard-Ramírez
• [Agda-dev] Stop creating or modifying issues in Google Code   Andrés Sicard-Ramírez
• [Agda-dev] Push your changes because the Agda repository will be deleted   Andrés Sicard-Ramírez
• [Agda-dev] New Agda repository including the issues   Andrés Sicard-Ramírez
• [Agda-dev] New bug tracker for Agda   Andrés Sicard-Ramírez
• [Agda-dev] New bug tracker for Agda   Andrés Sicard-Ramírez
• [Agda-dev] REWRITE rules   Andreas Abel
• [Agda-dev] What does it mean to assign a fixity to an atom?   Nils Anders Danielsson
• [Agda-dev] New bug tracker for Agda   Nils Anders Danielsson
• [Agda-dev] One more point for my false-golfing score   Nils Anders Danielsson
• [Agda-dev] One more point for my false-golfing score   Nils Anders Danielsson
• [Agda-dev] One more point for my false-golfing score   Andrea Vezzosi

Last message date: Fri Aug 28 11:57:03 CEST 2015
Archived on: Fri Aug 28 11:57:06 CEST 2015

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