Revision as of 13:16, 28 November 2013 edit LambdaTotoro (talk \| contribs) 74 edits m updated version release ← Previous edit		Revision as of 13:18, 28 November 2013 edit undo LambdaTotoro (talk \| contribs) 74 edits m ordered influences 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]], ~~[[Coq]]~~ \| license = BSD-3 \| website = [http://idris-lang.org/ Idris website]

Idris (programming language): Difference between revisions