Revision as of 01:22, 26 December 2008 edit Gwern (talk \| contribs) Autopatrolled, Extended confirmed users, Pending changes reviewers, Rollbackers 48,508 edits →External links: subcat ← Previous edit		Revision as of 17:56, 26 April 2009 edit undo 195.169.209.189 (talk) added categories Next edit →
Line 29: [[Category:Interactive theorem proving software]] [[Category:Free Haskell software]] [[Category:Declarative programming languages]] [[Category:Dependently-typed formal languages]] {{simulation-software-stub}}

Agda (programming language): Difference between revisions