Idris on Ubuntu

This page details installation instructions for Idris on Ubuntu. These instructions have been tested on Ubuntu 14.04 LTS and Idris <= 0.9.15.

Haskell Environment

The Idris compiler is written in Haskell, so we need the Haskell compiler 'GHC' installed.

sudo apt-get install cabal-install

Once this has been installed we then download a list of the latest available packages from hackage:

cabal update

You may now wish to add $HOME/.cabal/bin to your $PATH, so that executables installed by cabal will be on your path.

Idris

cabal install idris

Once install the Idris executable will be available at ~/.cabal/bin/idris.

Caveat

If you run out of memory while attempting to link Idris, try using ld.gold, by doing:

sudo apt-get install binutils-gold
cabal install idris --with-ld=ld.gold