December 2004 Archives by thread

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

Starting: Fri Dec 3 13:44:33 CEST 2004
Ending: Fri Dec 17 18:55:30 CEST 2004
Messages: 17

• [Agda] Agda meeting   Catarina Coquand
• [Agda] Discrepancies between emacsagda and agdachecker   Marcin Benke
• [Agda] Agda release plan   Patrik Jansson
  • [Agda] Agda "trusted core".   Peter G. Hancock
    • [Agda] Agda "trusted core".   Pierre Hyvernat
      • [Agda] Agda "trusted core".   csetzer
      • [Agda] Agda "trusted core".   Bengt Nordström
      • [Agda] Agda "trusted core".   Pierre Hyvernat
  • [Agda] IO in Agda.   Peter G. Hancock
    • [Agda] IO in Agda.   Marcin Benke
      • [Agda] IO in Agda.   Peter G. Hancock
• [Agda] [Fwd: [Types] User Interfaces for Theorem Provers UITP05 -- Call for Papers]   Andreas Abel
• [Agda] IO in Agda.   Pierre Hyvernat
• [Agda] Future of Agda?   Pierre Hyvernat
  • [Agda] Future of Agda?   Peter G. Hancock
    • [Agda] Future of Agda?   Catarina Coquand
• [Agda] Future of Agda?   Peter G. Hancock

Last message date: Fri Dec 17 18:55:30 CEST 2004
Archived on: Fri Dec 17 18:55:33 CEST 2004

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