Download
IMPORTANT: The Idris website and install instructions are out of date. We are working on rectifying this as soon as possible. In the meantime, for installing you will likely want to use pack, and for up-to-date information, please see the Idris2 GitHub Repository.
Idris 2
The latest version is Idris 2 0.6.0. 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:
- Either Chez Scheme or Racket to build the generated Scheme source
- bash, with realpath. On Linux, you probably already have this. On a Mac, you can install this with brew install coreutils.
- A C compiler, to build the library support code.
You can always find the latest development version on github:
- git clone https://github.com/idris-lang/Idris2.git
You can also install and use Idris 2 via pack, the package manager:
Previous releases are also available:
Idris 1 (legacy)
Idris 1 is no longer maintained but remains available. If you are still using idris 1, consider switching to idris 2.
- Guide to port to idris 2
You can find the source from the following places:
- Hackage has the most recently
released version. Assuming you have an up to date Haskell distribution,
at the shell prompt, type
- cabal update
- cabal install idris
- The latest development version is available from github:
More detailed installation instructions that are maintained by the Idris community are available on the wiki for the following platforms:
Binary
There are binary packages available for various platforms:
- For Windows: Windows Binaries
- For OS X: idris-current.pkg (SHA 256 hash)
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: