Agda 1 / News: Recent posts

Agda Lecture Notes

Anton Setzer offers good course documents on interactive theorem proving with Agda:
http://www.cs.swan.ac.uk/~csetzer/lectures/intertheo/

Posted by kato 2007-02-20

Agda CVS

The Agda CVS repository can be browsed at http://cvs.coverproject.org/marcin/cgi/viewcvs/Agda

Posted by Patrik Jansson 2004-11-04

Agda snapshots

Some CVS snapshots of Agda are available from
http://www.coverproject.org/Agda/

Posted by Patrik Jansson 2004-11-04