Revision as of 16:23, 17 December 2009 edit Rjwilmsi (talk \| contribs) Extended confirmed users, Pending changes reviewers, Rollbackers 933,673 edits m date comma fixes + gen fixes using Project:AWB ← Previous edit		Revision as of 17:54, 1 January 2010 edit undo Greenrd (talk \| contribs) Extended confirmed users 14,722 edits influenced by Haskell Next edit →
Line 13: \| dialects = \| influenced = \| influenced_by = [[Epigram (programming language)\|Epigram]], [[Haskell (programming language)\|Haskell]] \| operating_system = \| license = Line 52: [[Category:Declarative programming languages]] [[Category:Dependently-typed formal languages]] {{simulation-software-stub}}

Agda (programming language): Difference between revisions