You can download the source from the following places:
- Hackage has the most recent released version. At the prompt, type:
cabal install idris
- The development version is available from github:
git clone git://github.com/idris-lang/Idris-dev.git
There are various options available (pass
-f [option] to
cabal install) to customise the installation, which you can use depending on which libraries you have available. They are:
llvmto build the LLVM code generation
libffi, which is required for the type providers feature.
libgmpfor big integer support (instead of the less efficient
libncursesto get the screen width for pretty-printing.
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.
There are vim and emacs modes, each of which support interactive editing: