Revision as of 11:07, 10 May 2007 edit Tea2min (talk \| contribs) Extended confirmed users, Pending changes reviewers 21,977 edits m Agda project home page has moved. ← Previous edit	Revision as of 11:08, 10 May 2007 edit undo Tea2min (talk \| contribs) Extended confirmed users, Pending changes reviewers 21,977 edits m moved Agda theorem prover to Agda (theorem prover): Wikipedia:Disambiguation suggests parentheses for disambiguation. Next edit →
(No difference)

Agda (programming language): Difference between revisions