default.nix


1
2
3
4
5
6
7
8

with import <nixpkgs> {}; 

{
  idrisEnv = stdenv.mkDerivation {
    name = "idris";
    buildInputs = [ haskellPackages.idris gmp ];
  };
}