Idris (programming language): Difference between revisions

Revision as of 15:50, 23 January 2015

Revision as of 18:21, 30 January 2015

Line 13:

| dialects =

| influenced =

| influenced_by = [[Agda (programming language)|Agda]], [[Coq]],<ref name="idris-web">{{cite web|title=Idris, a language with dependent types|url=http://www.idris-lang.org/|accessdate=2014-10-26}}</ref> [[Epigram (programming language)|Epigram]], [[Haskell (programming language)|Haskell]],<ref name="idris-web"/> [[ML (programming language)|ML]],<ref name="idris-web"/>

| license = BSD-3

| website = [http://idris-lang.org/ Idris website]