Revision as of 09:26, 9 June 2013 edit Yobot (talk \| contribs) Bots 4,733,870 edits m WP:CHECKWIKI error fixes using AWB (9241) ← Previous edit		Revision as of 09:15, 25 July 2013 edit undo 210.210.190.242 (talk) No edit summary Next edit →
Line 1: {{Infobox programming language \| name = ~~Idris~~idris \| paradigm = [[functional programming\|Functional]] \| year =

Idris (programming language): Difference between revisions