Revision as of 23:27, 17 March 2006 edit Patrikj (talk \| contribs) 11 edits Created stub for the Agda prover		Revision as of 23:44, 17 March 2006 edit undo Patrikj (talk \| contribs) 11 edits m Additional category classification Next edit →
Line 22: {{math-stub}} [[Category:Theorem provers]] [[Category:Functional languages]]

Agda (programming language): Difference between revisions