January 2005 Archives by thread

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

Starting: Sat Jan 8 13:27:21 CEST 2005
Ending: Fri Jan 28 02:58:20 CEST 2005
Messages: 5

• [Agda] Type checker changes its mind   Peter G. Hancock
  • [Agda] Type checker changes its mind   Coquand
• [Agda] Type checker changes its mind   anton setzer
• [Agda] Meeting   Catarina Coquand
• [Agda] new code for agda repository   jeff polakow

Last message date: Fri Jan 28 02:58:20 CEST 2005
Archived on: Fri Jan 28 03:49:13 CEST 2005

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