June 2015 Archives by subject

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

Starting: Wed Jun 3 14:09:48 CEST 2015
Ending: Thu Jun 25 12:53:24 CEST 2015
Messages: 9

• [Agda-dev] Agda won't compile (on ghc 7.6)   Jesper Cockx
• [Agda-dev] Agda won't compile (on ghc 7.6)   Andrés Sicard-Ramírez
• [Agda-dev] GHC ticket stats   Andreas Abel
• [Agda-dev] google code is nearing the end   Nils Anders Danielsson
• [Agda-dev] google code is nearing the end   Andrés Sicard-Ramírez
• [Agda-dev] Removing support for GHC 7.4.2   Andrés Sicard-Ramírez
• [Agda-dev] Removing support for GHC 7.4.2   James Chapman
• [Agda-dev] Unification, elaboration   Bas Spitters
• [Agda-dev] Unnecessary message from Cabal test?   Andrés Sicard-Ramírez

Last message date: Thu Jun 25 12:53:24 CEST 2015
Archived on: Thu Jun 25 12:53:25 CEST 2015

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