diff --git a/mod/desktop/software/development.nix b/mod/desktop/software/development.nix index 2e8b296..d8f26ab 100644 --- a/mod/desktop/software/development.nix +++ b/mod/desktop/software/development.nix @@ -88,6 +88,7 @@ in jnoortheen.nix-ide justusadam.language-haskell leanprover.lean4 + llvm-vs-code-extensions.vscode-clangd ltex-plus.vscode-ltex-plus maximedenes.vscoq mkhl.direnv