Download

You can download the source from the following places:

• Hackage has the most recent released version. At the prompt, type:
  • cabal update
  • cabal install idris
• The development version is available from github:
  git clone git://github.com/edwinb/Idris-dev.git