Browse Source

Remove shell.nix and friends

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

1
.envrc

@ -1 +0,0 @@
use nix

7
shell.nix

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