with import <nixpkgs> {}; 

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