Add Agda language server configuration to VSCode settings

cu1ch3n · Oct 12, 2024 · 6f95eea · 6f95eea
1 parent 93a2000
commit 6f95eea
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/home-manager/programs/vscode/user-settings.nix b/home-manager/programs/vscode/user-settings.nix
@@ -200,4 +200,5 @@
     ];
     latex.autoBuild.run = "never";
   };
+  agdaMode.connection.agdaLanguageServer = true;
 }