Revision as of 01:17, 29 January 2008 edit Gwern (talk \| contribs) Autopatrolled, Extended confirmed users, Pending changes reviewers, Rollbackers 48,508 edits past tense ← Previous edit		Revision as of 10:44, 18 February 2008 edit undo 129.16.243.52 (talk) No edit summary Next edit →
Line 21: ==External links== * [http://unit.aist.go.jp/cvs/Agda/ Agda project home page]▼ * [http://appserv.cs.chalmers.se/users/ulfn/wiki/agda.php The Agda wiki], including some documentation and a bugreport tool ▲* [http://unit.aist.go.jp/cvs/Agda/ Agda ~~project~~version 1 home page]

Agda (programming language): Difference between revisions