Appendix A. Installing Idris and editor modes
This appendix explains how to install Idris. There are prebuilt binary distributions for Mac and Windows, or you can install from source on any Unix-like operating system. It also describes how to install the Idris mode in the Atom text editor.
At the time of writing, Idris is available as a binary distribution for Windows and Mac OS from http://idris-lang.org/download. This includes the compiler and REPL, along with the Prelude, base libraries, and a variety of contributed libraries that support various data structures, networking, and programming with side effects.
In the following sections, I’ll describe how to install Idris either as binaries or from source. In either case, to check that Idris has installed successfully, you can run idris --version, which reports which Idris version is installed:
$ idris --version 1.0
The latest version of Idris is always available as a binary package, downloadable at http://idris-lang.org/pkgs/idris-current.pkg. To be able to compile it and run your programs, you’ll also need to install Xcode, which is available from the App Store.
- Download idris-current.pkg.
- Ensure that Xcode is installed from the App Store.
- Open idris-current.pkg and follow the instructions. This will install the Idris binary to /usr/local/bin/idris.
You can also install the latest version via Homebrew (http://brew.sh/):