Idris 2

The latest version is Idris 2 0.5.1. You can find the latest release at:

This includes Scheme source as generated by Idris, so you don't need an existing Idris 2 system to build. You need:

You can always find the latest development version on github:

If you want to install it the "hard way", you can use a bootstrapping version of Idris 2, which is implemented in Idris 1:

Idris 1

You can find the source from the following places:

More detailed installation instructions that are maintained by the Idris community are available on the wiki for the following platforms:


There are binary packages available for various platforms:

If you require any optional features (e.g. GMP or compile time FFI support), you will need to build from source.

Editor Support

There are editor modes which support interactive editing: