Browse Source

Revert "Remove shell.nix and friends"

This reverts commit 1f84856f30.
main
Mark Cornick 2 months ago
parent
commit
338956c9a5
Signed by: mcornick GPG Key ID: 9435772627061005
  1. 3
      .envrc
  2. 7
      shell.nix

3
.envrc

@ -0,0 +1,3 @@
if has nix-shell; then
use nix
fi

7
shell.nix

@ -0,0 +1,7 @@
{ pkgs ? import <nixpkgs> {} }:
pkgs.mkShell {
buildInputs = [
pkgs.ghc
pkgs.stack
];
}
Loading…
Cancel
Save