Idris on NixOS

Installing Idris on NixOS is relatively simple. Simply run:

nix-env -iA nixos.idris

In a terminal. Note that this package is not necessarily the most up to date version of Idris.

You may prefer to checkout nixpkgs from github and install the latest idris derivation. You can do it by simply running:

git clone https://github.com/NixOS/nixpkgs.git \
  && cd nixpkgs \
  && nix-env -f . -iA idris