Revision as of 16:31, 25 October 2020 edit Ysangkok (talk \| contribs) Autopatrolled, Extended confirmed users, Pending changes reviewers, Rollbackers 16,913 edits →Idris 2: compiles to C now ← Previous edit		Revision as of 11:49, 14 January 2021 edit undo 93.176.157.157 (talk) →Idris 2 Next edit →
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. The latest version is 0.23.10, released on ~~August~~January 1613, ~~2020~~2021.<ref>{{cite web\|title=Idris 2 version 0.23.10 Released\|url=https://www.idris-lang.org/idris-2-version-~~021~~030-released.html\|access-date=~~2020~~2021-0801-1714}}</ref> ==See also==

Idris (programming language): Difference between revisions