Revision as of 09:01, 13 March 2008 edit 129.16.29.16 (talk) No edit summary ← Previous edit		Revision as of 20:17, 5 May 2008 edit undo 147.31.137.152 (talk) →External links: refer to the Agda wiki as the homepage, since it is, to help google find it Next edit →
Line 21: ==External links== * [http://appserv.cs.chalmers.se/users/ulfn/wiki/agda.php The Agda ~~wiki~~2 homepage] (a wiki), including some documentation and a link to a bugreport tool * [http://unit.aist.go.jp/cvs/Agda/ Agda version 1 home page]

Agda (programming language): Difference between revisions