Revision as of 12:52, 9 May 2006 edit 195.176.178.209 (talk) →References ← Previous edit		Revision as of 17:55, 12 December 2006 edit undo MarSch (talk \| contribs) Extended confirmed users 8,554 edits {{math-stub}} {{software-stub}} Next edit →
Line 27: {{math-stub}} {{software-stub}} [[Category:Theorem provers]] [[Category:Functional languages]]

Agda (programming language): Difference between revisions