Idris (programming language): Difference between revisions

Revision as of 06:24, 17 March 2021

Revision as of 06:47, 17 March 2021

Line 9:

| latest_release_version = 1.3.3<ref>{{cite web|title=Release 1.3.3|url=https://github.com/idris-lang/Idris-dev/releases/tag/v1.3.3/|access-date=2020-05-25}}</ref>

| latest_release_date = {{Start date and age|2020|05|24}}

| latest_test_version = 0.3.0 (Idris 2)<ref>{{Cite web|title=Idris 2 version 0.3.0 Released|url=https://www.idris-lang.org/idris-2-version-030-released.html|access-date=2021-03-17|website=www.idris-lang.org}}</ref>

| latest_test_version =

| latest_test_date = {{Start date and age|2021|01|13}}

| typing =

| implementations =

Line 100:

==Idris 2==

Idris 2 is a new [[Self-hosting (compilers)|self-hosted]] version of the language which deeply integrates a [[linear type system]], based on [[quantitative type theory]]. It currently compiles to [[Scheme (programming language)|Scheme]] and [[C (programming language)|C]]. The latest version is 0.3.0, released on January 13, 2021.<ref>{{cite web|title=Idris 2 version 0.3.0 Released|url=https://www.idris-lang.org/idris-2-version-030-released.html|access-date=2021-01-14}}</ref>

==See also==