![[Idris]](https://www.idris-lang.org/images/logo-small.png){kind=logo}
A new version (0.7.0) of Idris 2 has been released. You can download the source (including generated Scheme and Racket files for bootstrapping) from the download page.
Highlights include:
A new version (0.6.0) of Idris 2 has been released. You can download the source (including generated Scheme and Racket files for bootstrapping) from the download page.
To build it, you can either use an earlier version of Idris 2 (minimum 0.5.1), or (the simplest way …
read moreA new version (0.5.1) of Idris 2 has been released. You can download the source (including generated Scheme and Racket files for bootstrapping) from the download page.
This is a patch release, which fixes some dependency issues in Idris 2 veresion 0.5.1 that required a later …
read moreA new version (0.5.0) of Idris 2 has been released. You can download the source (including generated Scheme and Racket files for bootstrapping) from the download page.
To build it, you can either use an earlier version of Idris 2 (minimum 0.4.0), or (the simplest way …
read moreA new version (0.4.0) of Idris 2 has been released. You can download the source (including generated Scheme and Racket files for bootstrapping) from the download page.
To build it, you can either use an earlier version of Idris 2 (minimum 0.3.0), or (the simplest way …
read moreA new version (0.3.0) of Idris 2 has been released. You can download the source (including generated Scheme and Racket files for bootstrapping) from the download page.
To build it, you can either use an earlier version of Idris 2 (minimum 0.2.2), or (the simplest way …
read moreA new version (0.2.2) of Idris 2 has been released. You can download the source (including generated Scheme and Racket files for bootstrapping) from the download page.
There are few changes in this release; it exists purely to preserve a bootstrapping path from the previous version (0.2 …
read moreA new version (0.2.1) of Idris 2 has been released. You can download the source (including generated Scheme and Racket files for bootstrapping) from the download page.
To build it, you can either use a bootstrapping version built in Idris 1, or (the simplest way), run make bootstrap …
read moreA new version (0.2.0) of Idris 2 has been released. You can download the source (including generated Scheme and Racket files for bootstrapping) from the download page.
The significance of this release is that it is the first release which can compile itself - that is, it is written …
read moreA new version (0.1.0) of Idris 2 has been released. You can download the source (including a generated C file for building) from the download page.
This is a complete reimplementation of Idris, written in Idris 1. You will need the latest Idris 1 to build from source …
read moreThis is the new web site for Idris 2
read more