Revision as of 17:52, 6 February 2014 edit LambdaTotoro (talk \| contribs) 74 edits m updated version release ← Previous edit		Revision as of 16:30, 14 February 2014 edit undo Tredontho (talk \| contribs) 29 edits m removed trailing comma Next edit →
Line 13: \| dialects = \| influenced = \| influenced_by = [[Agda (programming language)\|Agda]], [[Coq]], [[Epigram (programming language)\|Epigram]], [[Haskell (programming language)\|Haskell]], [[ML (programming language)\|ML]], \| license = BSD-3 \| website = [http://idris-lang.org/ Idris website]

Idris (programming language): Difference between revisions