Add NodeJS to the devshell (UniMath#1064)

VojtechStep · fredrik-bakke · commit d217592c1813 · 2024-03-14T21:50:58.000+01:00
Pre-commit tries to run a downloaded NodeJS executable when NodeJS isn't
available in the environment, but that fails to run on NixOS.
diff --git a/flake.nix b/flake.nix
@@ -74,6 +74,7 @@
               python
               # pre-commit checks
               pkgs.pre-commit
+              pkgs.nodejs
             ] ++ (with pkgs-mdbook; [
               # working on the website
               mdbook
