Revision as of 11:34, 29 April 2014 edit Daejo (talk \| contribs) 2 edits →Syntax: More unnecessary parens ← Previous edit		Revision as of 22:04, 7 May 2014 edit undo Soimort (talk \| contribs) 92 edits No edit summary Next edit →
Line 16: \| license = BSD-3 \| website = [http://idris-lang.org/ Idris website] \| file ext = .idr, .lidr \| operating_system = [[Cross-platform]] }}

Idris (programming language): Difference between revisions