Revision as of 19:40, 26 November 2008 edit 129.16.192.179 (talk) Adding information about the author. ← Previous edit		Revision as of 01:22, 26 December 2008 edit undo Gwern (talk \| contribs) Autopatrolled, Extended confirmed users, Pending changes reviewers, Rollbackers 48,508 edits →External links: subcat Next edit →
Line 28: [[Category:Functional languages]] [[Category:Interactive theorem proving software]] [[Category:Free Haskell software]] {{simulation-software-stub}}

Agda (programming language): Difference between revisions