Idris (programming language): Difference between revisions

Revision as of 15:13, 25 May 2020

Revision as of 14:46, 26 May 2020

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]]. The lastestlatest version is 0.2.0, released on May 20, 2020.<ref>{{cite web|title=Idris 2 version 0.2.0 Released|url=https://www.idris-lang.org/idris-2-version-020-released.html|access-date=2020-05-25}}</ref>

==See also==