Installing Idris


Before installing Idris, you will need to make sure you have all of the necessary libraries and tools. You will need:

  • A fairly recent Haskell platform. Version 2013.2.0.0 should be sufficiently recent, though it is better to be completely up to date.
  • The GNU Multiple Precision Arithmetic Library (GMP) is available from MacPorts/Homebrew and all major Linux distributions.


The easiest way to install Idris, if you have all of the prerequisites, is to type:

cabal update; cabal install idris

This will install the latest version released on Hackage, along with any dependencies. If, however, you would like the most up to date development version you can find it, as well as build instructions, on GitHub at:

Necessary libraries

You also need to install some Idris libraries, which are requirements of our testsuite.


This library provides the actual testing framework we use. It's installation is pretty simple.

pushd /tmp
git clone
cd idris-testing
make lib
make install # depending on your installation of idris this might need to be run as root

If the tests will ever brake because of calling things that your installed version of idris-testing does not provide, you have to update it by repeating the steps above.

Programming person with notebook