March 2005 Archives by date

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

Starting: Wed Mar 9 23:54:15 CEST 2005
Ending: Thu Mar 17 14:09:53 CEST 2005
Messages: 3

• [Agda] Dependently typed fp   Peter G. Hancock
• [Agda] Bug reports   Olov Wilander
• [Agda] Bug reports   Catarina Coquand

Last message date: Thu Mar 17 14:09:53 CEST 2005
Archived on: Thu Mar 17 14:09:55 CEST 2005

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