Revision as of 14:29, 25 July 2007 edit Hairy Dude (talk \| contribs) Extended confirmed users 91,285 edits "Emacs" is a proper noun, so needs capitalising ← Previous edit		Revision as of 14:25, 25 November 2007 edit undo Cydebot (talk \| contribs) 6,812,251 edits m Robot - Moving category Theorem provers to Theorem proving software systems per CFD at Wikipedia:Categories for discussion/Log/2007 November 16. Next edit →
Line 27: {{software-stub}} [[Category:Theorem ~~provers~~proving software systems]] [[Category:Functional languages]]

Agda (programming language): Difference between revisions