[Agda] Termination checker change?

Patrik Jansson patrikj at cs.chalmers.se
Thu Nov 4 15:15:11 MET 2004

Previous message: [Agda] Termination checker change?
Next message: [Agda] Termination checker change?
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Agda is now on SourceForge:

http://sourceforge.net/projects/agda/

/Patrik

Previous message: [Agda] Termination checker change?
Next message: [Agda] Termination checker change?
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Agda mailing list