June 2005 Archives by thread

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

Starting: Thu Jun 9 19:06:51 CEST 2005
Ending: Fri Jun 17 10:58:37 CEST 2005
Messages: 4

• [Agda] Type declaration might lead to non-termination?   Lionel Elie Mamane
  • [Agda] Type declaration might lead to non-termination?   takeyama
    • [Agda] Type declaration might lead to non-termination?   Lionel Elie Mamane
• [Agda] debian package for Agda   IKEGAMI Daisuke

Last message date: Fri Jun 17 10:58:37 CEST 2005
Archived on: Fri Jun 17 10:58:50 CEST 2005

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