Idris 2

There is no release yet, but you can find the latest source at:

This includes C source as generated by Idris, so will build with only a C compiler. You need Chez Scheme or Racket to build executables.

You can always find the current status on github. This requires the latest Idris 1 to build and install.

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: