Add entr to nix shell (#414)

nfrisby · web-flow · commit b20de35fb575 · 2025-06-17T13:34:31.000-04:00
diff --git a/nix/shell.nix b/nix/shell.nix
@@ -25,6 +25,7 @@ in
     pkgs.gnuplot
     pkgs.texliveFull
     pkgs.python3Packages.pygments
+    pkgs.entr
   ];
 
   # Agda environment variables.
