March 2015 Archives by thread

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

Starting: Mon Mar 9 14:07:51 CEST 2015
Ending: Tue Mar 31 12:22:29 CEST 2015
Messages: 56

• [Agda-dev] New branch in the standard library repository: 2.4.2.3   Andrés Sicard-Ramírez
  • [Agda-dev] New branch in the standard library repository: 2.4.2.3   gallais
    • [Agda-dev] New branch in the standard library repository: 2.4.2.3   Andrés Sicard-Ramírez
  • [Agda-dev] Re: New branch in the standard library repository: 2.4.2.3   Andrés Sicard-Ramírez
• [Agda-dev] google code is nearing the end   gallais
  • [Agda-dev] google code is nearing the end   Andreas Abel
    • [Agda-dev] google code is nearing the end   Ulf Norell
      • [Agda-dev] google code is nearing the end   Andrés Sicard-Ramírez
    • [Agda-dev] google code is nearing the end   Andrés Sicard-Ramírez
• [Agda-dev] agda: <<loop>>   Wolfram Kahl
  • [Agda-dev] agda: <<loop>>   Andrés Sicard-Ramírez
    • [Agda-dev] agda: <<loop>>   Wolfram Kahl
      • [Agda-dev] agda: <<loop>>   Andrés Sicard-Ramírez
      • [Agda-dev] agda: <<loop>>   Andrés Sicard-Ramírez
      • [Agda-dev] agda: <<loop>>   Andrés Sicard-Ramírez
  • [Agda-dev] agda: <<loop>>   Andreas Abel
• [Agda-dev] Other new branch in the standard library repository: 2.4.2.2   Andrés Sicard-Ramírez
  • [Agda-dev] Other new branch in the standard library repository: 2.4.2.2   Nils Anders Danielsson
    • [Agda-dev] Other new branch in the standard library repository: 2.4.2.2   Andrés Sicard-Ramírez
      • [Agda-dev] Other new branch in the standard library repository: 2.4.2.2   Nils Anders Danielsson
      • [Agda-dev] Other new branch in the standard library repository: 2.4.2.2   Andrés Sicard-Ramírez
      • [Agda-dev] Other new branch in the standard library repository: 2.4.2.2   Nils Anders Danielsson
      • [Agda-dev] Other new branch in the standard library repository: 2.4.2.2   Andrés Sicard-Ramírez
    • [Agda-dev] Other new branch in the standard library repository: 2.4.2.2   Andrés Sicard-Ramírez
      • [Agda-dev] Other new branch in the standard library repository: 2.4.2.2   Nicolas Pouillard
      • [Agda-dev] Qualified full operator name now needs parentheses?   Wolfram Kahl
      • [Agda-dev] Qualified full operator name now needs parentheses?   Andreas Abel
      • [Agda-dev] Qualified full operator name now needs parentheses?   Wolfram Kahl
      • [Agda-dev] Qualified full operator name now needs parentheses?   Andrés Sicard-Ramírez
      • [Agda-dev] Qualified full operator name now needs parentheses?   Andrés Sicard-Ramírez
      • [Agda-dev] Qualified full operator name now needs parentheses?   Nils Anders Danielsson
      • [Agda-dev] Other new branch in the standard library repository: 2.4.2.2   Andrés Sicard-Ramírez
      • [Agda-dev] Other new branch in the standard library repository: 2.4.2.2   Ulf Norell
      • [Agda-dev] Other new branch in the standard library repository: 2.4.2.2   Andrés Sicard-Ramírez
      • [Agda-dev] Other new branch in the standard library repository: 2.4.2.2   Ulf Norell
      • [Agda-dev] Other new branch in the standard library repository: 2.4.2.2   Wolfram Kahl
      • [Agda-dev] Other new branch in the standard library repository: 2.4.2.2   Andrés Sicard-Ramírez
      • [Agda-dev] Other new branch in the standard library repository: 2.4.2.2   Andrés Sicard-Ramírez
      • [Agda-dev] Other new branch in the standard library repository: 2.4.2.2   Wolfram Kahl
• [Agda-dev] New Agda Compiler/Backend   Philipp Hausmann
  • [Agda-dev] New Agda Compiler/Backend   Nicolas Pouillard
  • [Agda-dev] New Agda Compiler/Backend   Nils Anders Danielsson
    • [Agda-dev] New Agda Compiler/Backend   Ulf Norell
      • [Agda-dev] New Agda Compiler/Backend   Philipp Hausmann
      • [Agda-dev] New Agda Compiler/Backend   Andrés Sicard-Ramírez
      • [Agda-dev] New Agda Compiler/Backend   Andrés Sicard-Ramírez
• [Agda-dev] --program-suffix on maint   Ulf Norell
  • [Agda-dev] --program-suffix on maint   Nils Anders Danielsson
  • [Agda-dev] --program-suffix on maint   Andrés Sicard-Ramírez
    • [Agda-dev] --program-suffix on maint   Ulf Norell
• [Agda-dev] Large Scale DDoS Attack on github.com   Andrés Sicard-Ramírez
• [Agda-dev] Re: Epic back-end support   Ulf Norell
  • [Agda-dev] Re: Epic back-end support   Daniel Gustafsson
  • [Agda-dev] Re: Epic back-end support   Nils Anders Danielsson
    • [Agda-dev] Re: Epic back-end support   Philipp Hausmann
      • [Agda-dev] Re: Epic back-end support   Ulf Norell

Last message date: Tue Mar 31 12:22:29 CEST 2015
Archived on: Tue Mar 31 12:23:02 CEST 2015

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