vanadium: move dev configuration into devshells

nix/homeModules/named/vanadium/default.nix

@@ -11,7 +11,7 @@ in
 
     ./autoupdate.nix
 
-    # system-wide language servers, build tools, compilers
+    # Language server packages, etc
     ./dev.nix
   ];
 

nix/homeModules/named/vanadium/dev.nix

@@ -1,58 +1,10 @@
-{ pkgs, config, ... }:
-
-let
-  inherit (pkgs) myPkgs;
-in
+{ pkgs, ... }:
 
 {
 
   home.packages = [
-    # # keyboard
-    # pkgs.clang-tools
-    # pkgs.qmk
-    # pkgs.wally-cli
-
-    # golang
-    pkgs.go
-    pkgs.golangci-lint
-    pkgs.gofumpt
-
-    # typescript
-    pkgs.typescript
-    pkgs.nodejs_20
-    pkgs.vscode-langservers-extracted # HTML/CSS/JSON/ESLint
-    pkgs.nodePackages."@angular/cli" # module WE
-
-    # rust
-    pkgs.cargo
-    pkgs.rustc
-    pkgs.rustfmt
-
-    # java
-    pkgs.maven
-
-    # scala
-    (pkgs.sbt.override { jre = config.programs.java.package; })
-    (pkgs.scala.override { jre = config.programs.java.package; })
-    (pkgs.metals.override { jre = config.programs.java.package; })
-    (pkgs.ammonite.override { jre = config.programs.java.package; })
-
-    # # isabelle
-    # pkgs.isabelle # module ACF
-
     # preview markdown
     pkgs.python3Packages.grip
-
-    # typst
-    myPkgs.typst-mutilate
-
-    # xmonad development/configuartion
-    pkgs.cabal-install
-    (pkgs.haskellPackages.ghcWithPackages (self: [
-      self.xmonad-contrib
-      self.xmonad-extras
-    ]))
-    pkgs.haskell-language-server
   ];
 
   programs.neovim.extraPackages = [
@@ -78,7 +30,7 @@ in
   programs.vscode = {
     enable = true;
     extensions = [
-      (pkgs.vscode-extensions.redhat.java.overrideAttrs { jdk = config.programs.java.package; })
+      pkgs.vscode-extensions.redhat.java
       pkgs.vscode-extensions.vscjava.vscode-java-pack
     ];
   };
@@ -88,9 +40,4 @@ in
     goPath = ".go";
   };
 
-  programs.java = {
-    enable = true;
-    package = pkgs.jdk17.override { enableJavaFX = true; };
-  };
-
 }