Installation Instructions

The page collates the various instructions for installing Idris on Platform X. If you system is not in the list below please consider creating a page and linking to it here.

• Mac OS X
• Ubuntu
• Debian
• FreeBSD
• Windows
• Vagrant
• Windows Binaries
• Fedora
• Arch

For those who like to keep with the latest upstream development for Idris, instructions for deploying Idris HEAD in a cabal sandbox are available.

Note If you find that Idris takes a long time to install please consider checking your cabal config. Users have reported that asking cabal to generate all documentation will impact build times.