Revision as of 10:44, 18 February 2008 edit 129.16.243.52 (talk) No edit summary ← Previous edit		Revision as of 21:56, 22 February 2008 edit undo Gwern (talk \| contribs) Autopatrolled, Extended confirmed users, Pending changes reviewers, Rollbackers 48,508 edits →External links: don't forget, written in haskell Next edit →
Line 23: * [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 version 1 home page] {{simulation-software-stub}} Line 29 ⟶ 28: [[Category:Functional languages]] [[Category:Interactive theorem proving software]] [[Category:Haskell software]]

Agda (programming language): Difference between revisions