add nix shell def

EffectOrientedProgramming · Sep 18, 2024 · 4892625 · 4892625
1 parent ee8ab57
commit 4892625
Showing 1 changed file with 8 additions and 0 deletions.
diff --git a/shell.nix b/shell.nix
@@ -0,0 +1,8 @@
+with import <nixpkgs> {};
+mkShell {
+  buildInputs = [
+    pkgs.mkdocs
+    pkgs.python311Packages.mkdocs-redirects
+    pkgs.python311Packages.mkdocs-material
+  ];
+}