Idris (programming language): Difference between revisions

Revision as of 01:08, 15 September 2019

Revision as of 01:21, 27 September 2019

Line 14:

| implementations =

| dialects =

| influenced_by = [[Agda (programming language)|Agda]], [[Clean (programming language)|Clean]],<ref name="uniqueness-types">{{cite web|title="Uniqueness Types"|url=http://docs.idris-lang.org/en/latest/reference/uniqueness-types.html|website=Idris 1.3.1 Documentation|accessdate=20182019-1109-2026}}</ref> [[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"/> [[Rust (programming language)|Rust]]<ref name="uniqueness-types"/>

| influenced =

| operating_system = [[Cross-platform]]