Prerequisites

In order to install Idris 2, you need:

• Either Chez Scheme or Racket, to build the bootstrapping Scheme source.
• bash, with realpath. On Linux, you probably already have this. On a Mac, you can install this with brew install coreutils.
• A C compiler, to build the library support code.

Idris 2

The easiest way to install and use Idris 2, is to use the package manager pack – please see pack's install & usage instructions.

This will install the cutting edge version of the compiler, as well as handle your dependencies using the pack collection. You will have to use pack build instead of idris2 --build to compile a package.

If you already use pack, you can update your Idris version to the latest version in development by using pack switch latest ([1]). If you wish to use a specific release with pack, currently the only way to do this is to find the release date, and then switch to its nightly collection by using, for example, pack switch nightly-231222 (which would switch to the 0.7.0 release).

The latest formally released version is Idris2-0.7.0, released 2023-12-22, with its associated source tarball, which could alternatively be used for installation, forgoing pack (packages would have to be managed manually, via scripts, or via other software):

• idris2-0.7.0.tgz (SHA 256 hash)

Both pack and the release tarball include generated Scheme sources sufficient for bootstrapping, so you don't need an existing Idris 2 system to build.

You can always find the latest development version on github:

• git clone https://github.com/idris-lang/Idris2.git

Previous releases are also available:

• idris2-0.6.0.tgz (SHA 256 hash)
• idris2-0.5.1.tgz (SHA 256 hash)
• idris2-0.4.0.tgz (SHA 256 hash)

Idris 1 (legacy)

Idris 1 is no longer maintained but remains available. If you are still using Idris 1, consider switching to Idris 2.

• A list of differences is available in the documentation.

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:
  • git clone git://github.com/idris-lang/Idris-dev.git

More detailed installation instructions that are maintained by the Idris community are available on the wiki for the following platforms:

• MacOS
• Windows
• Ubuntu
• Debian

Binary

There are binary packages available for various platforms:

• For Windows: Windows Binaries
• For OS X: idris-current.pkg (SHA 256 hash)

If you require any optional features (e.g. GMP or compile time FFI support), you will need to build from source.

Editor Support

There are editor modes which support interactive editing:

• Idris 2
  • Vim mode (for Idris 2)
  • Emacs mode (for Idris 1 and 2)
  • Emacs mode (for Idris 2 only)
  • Language Server Protocol
• Idris 1
  • Vim mode (for Idris 1)
  • Emacs mode (for Idris 1 and 2)
  • (DEPRECATED) Atom package

Footnotes

[1]	This version point to the latest git commit (HEAD) of the Idris 2 project.