There is no release yet, but you can find the latest source at:
You can always find the current status on github. This requires the latest Idris 1 to build and install.
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:
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.