Revision as of 09:15, 25 July 2013 edit 210.210.190.242 (talk) No edit summary ← Previous edit		Revision as of 09:16, 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