![[Idris]](https://www.idris-lang.org/images/logo-small.png){kind=logo}
This was announced on the mailing list just over a month ago (but not on the website due to time limitations): the Idris community has been slowly but surely moving away from Discord to Zulip. Going forwards, the main way to chat with the Idris community will be through:
read moreOther articles
Idris Has Been Granted a Sponsored Zulip Cloud Standard Plan
By virtue of being a free and open-source software project, the Idris Zulip has generously been granted a sponsored Zulip Cloud Standard plan, enabling us to make certain channels (for example, the help channel) web-public, meaning their contents will be indexed by search engines, hopefully allowing people to find answers …
read moreIdris 2 version 0.8.0 Released
A new version (0.8.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:
- Autobind and Typebind modifier on operators allow the user to customise the syntax of operator to look more like …
We're Working on the Idris Website
As has been pointed out on the Discord, on Mastodon, and on GitHub, the Idris website is severely out of date. It has been on the todo-list for a while, but I'm now actively working on bringing it up to speed, as well as making it easier to maintain going …
read moreIdris 2 version 0.7.0 Released
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:
- Size-change graphs are now matrices, faithfully implementing Lee, Jones, and Ben-Amram; 2001.
- Elaborator scripts can now access project files …
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 …
read moreIdris 2 version 0.5.1 Released
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 moreIdris 2 version 0.5.0 Released
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 moreIdris 2 version 0.4.0 Released
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 moreIdris 2 version 0.3.0 Released
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 moreIdris 2 version 0.2.2 Released
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 moreIdris 2 version 0.2.1 Released
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 moreIdris 2 version 0.2.0 Released
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 moreIdris 2 version 0.1.0 Released
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 moreNew site
This is the new web site for Idris 2
read more