@@ -63,9 +63,9 @@ contribute.
6363[Stack](https://github.com/commercialhaskell/stack) is a new
6464cross-platform program for developing Haskell projects, that enhances
6565the functionality provided by Cabal. There is experimental support for
66−building Idris from source using with stack, that uses the LTS 3.16
67−resolver. This installation has been tested on Ubuntu 14.04.2 LTS,
68−only.
66+building Idris from source with stack.
67+This installation has been tested on Ubuntu 14.04.2 LTS, and the current
68+NixOS unstable.
6969
7070To build Idris with stack the following commands are recommended:
7171
@@ -77,6 +77,11 @@ haven't used stack before this will also setup the related
7777infrastructure. For more information about Stack please visit the
7878[Stack website](https://github.com/commercialhaskell/stack).
7979
80+On NixOS, please use the following command instead, to make sure
81+the required libraries and header files are available:
82+
83+* `stack build --nix`
84+
8085### System GHC
8186
8287The flag `--system-ghc` can be added to enforce use of your system's