Revision as of 05:20, 5 July 2009 edit Greenrd (talk \| contribs) Extended confirmed users 14,722 edits →Agda 2: I think this reads better (not sure whether the old version was correct English) ← Previous edit		Revision as of 01:58, 11 September 2009 edit undo BBar (talk \| contribs) 423 edits m →External links Next edit →
Line 44: ==External links== * [http://appserv.cs.chalmers.se/users/ulfn/wiki/agda.php The Agda 2 homepage] (a wiki), including some documentation and a link to a ~~bugreport~~bug-report tool * [http://unit.aist.go.jp/cvs/Agda/ Agda version 1 home page]

Agda (programming language): Difference between revisions