1 2 3 4 5 6 7 8
with import <nixpkgs> {}; { idrisEnv = stdenv.mkDerivation { name = "idris"; buildInputs = [ haskellPackages.idris gmp ]; }; }