feat (packages/helix): lsp configs

home/packages/helix/default.nix

@@ -18,11 +18,12 @@ in
       keys.insert.j.k = "normal_mode";
     };
     languages = {
-      language-server.tinymist = {
+      language-server = {
+        tinymist = {
           config.exportPdf = "onSave";
           config.outputPath = "$root/$dir/out/$name";
         };
-      language-server.scls = {
+        scls = {
           command = "simple-completion-language-server";
           config.feature_words = false;
           config.feature_snippets = true;
@@ -34,12 +35,15 @@ in
           environment.RUST_LOG = "info,simple-completion-language-server=info";
           environment.LOG_FILE = "/tmp/completion.log";
         };
-      language-server.ocamllsp = {
+        ocamllsp = {
           command = "ocamllsp";
           args = [ "--fallback-read-dot-merlin" ];
         };
-      language-server.menhir-lsp = {
+        menhir-lsp.command = "menhir-lsp";
-        command = "menhir-lsp";
+        dafny-lsp = {
+          command = "dafny";
+          args = [ "server" ];
+        };
       };
       language = [
         {
@@ -58,6 +62,28 @@ in
           ];
           scope = "source.menhir";
         }
+        {
+          name = "ocaml";
+          language-servers = [
+            "scls"
+            "ocamllsp"
+          ];
+        }
+        {
+          name = "dafny";
+          file-types = [ "dfy" ];
+          language-servers = [ "dafny-lsp" ];
+          scope = "source.dafny";
+        }
+        {
+          name = "zelus";
+          file-types = [
+            "zli"
+            "zls"
+          ];
+          language-servers = [ "scls" ];
+          scope = "source.ocaml";
+        }
       ];
       grammar = [
         {