Revision as of 10:28, 10 May 2007 edit Tea2min (talk \| contribs) Extended confirmed users, Pending changes reviewers 21,977 edits m Copy-edit ← Previous edit		Revision as of 11:07, 10 May 2007 edit undo Tea2min (talk \| contribs) Extended confirmed users, Pending changes reviewers 21,977 edits m Agda project home page has moved. Next edit →
Line 5: ==External links== * [http://~~agda~~unit.sfaist.~~net~~go.jp/cvs/Agda/ Agda project home page] ==References==

Agda (programming language): Difference between revisions