Revision as of 18:11, 26 April 2009 edit 195.169.209.189 (talk) fixed Epigram link ← Previous edit		Revision as of 00:29, 18 June 2009 edit undo Cydebot (talk \| contribs) 6,812,251 edits m Robot - Moving category Free Haskell software to Free software programmed in Haskell per CFD at Wikipedia:Categories for discussion/Log/2009 June 5. Next edit →
Line 49: [[Category:Functional languages]] [[Category:Interactive theorem proving software]] [[Category:Free ~~Haskell~~ software programmed in Haskell]] [[Category:Declarative programming languages]] [[Category:Dependently-typed formal languages]]

Agda (programming language): Difference between revisions