Idris 2 version 0.6.0 Released

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), run make bootstrap to build from the generated Scheme. Full instructions are in INSTALL.md in the distribution.

Documentation is available here, including API documentation.

To get started, you can see:

Installation instructions and how to get started
If you're upgrading from Idris 1, see Changes since Idris 1

The installation has (so far) worked successfully on Linux, Windows, and Mac. Please let us know (ideally via the mailing list) how you get on with installing on other platforms.

For a detailed list of changes, see the CHANGELOG.

Thanks to the many people who have contributed, whether by adding features, fixing code, reporting issues, or anything else. You can find a list of contributors in the GitHub repository.

Have fun!

Other articles

Idris 2 version 0.5.1 Released

Mon 20 September 2021
By Edwin

In News.

tags: Release

A 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 more
Idris 2 version 0.5.0 Released

Sat 18 September 2021
By Edwin

In News.

tags: Release

A 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 more
Idris 2 version 0.4.0 Released

Wed 23 June 2021
By Edwin

In News.

tags: Release

A 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 more
Idris 2 version 0.3.0 Released

Wed 13 January 2021
By Edwin

In News.

tags: Release

A 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 more
Idris 2 version 0.2.2 Released

Tue 12 January 2021
By Edwin

In News.

tags: Release

A 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 more
Idris 2 version 0.2.1 Released

Sun 16 August 2020
By Edwin

In News.

tags: Release

A 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 more
Idris 2 version 0.2.0 Released

Mon 25 May 2020
By Edwin

In News.

tags: Release

A 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 more
Idris 2 version 0.1.0 Released

Wed 01 April 2020
By Edwin

In News.

tags: Release

A 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 more