Revision as of 15:48, 17 September 2009 edit 129.16.192.102 (talk) →Agda 2: More up-to-date information ← Previous edit		Revision as of 15:50, 17 September 2009 edit undo 129.16.192.102 (talk) →External links: Updated to current homepage Next edit →
Line 44: ==External links== * [http://~~appserv~~wiki.csportal.chalmers.se/~~users~~agda/~~ulfn/wiki/agda.php~~ The Agda 2 homepage] (a wiki), including ~~some~~ documentation and a link to a bug-report tool * [http://unit.aist.go.jp/cvs/Agda/ Agda version 1 home page]

Agda (programming language): Difference between revisions