feat: add fstar language server (#1280)

1 files changed, 21 insertions, 0 deletions

diff --git a/lua/lspconfig/fstar.lua b/lua/lspconfig/fstar.lua
new file mode 100644
index 00000000..8618e070
--- /dev/null
+++ b/lua/lspconfig/fstar.lua
@@ -0,0 +1,21 @@
+local configs = require 'lspconfig/configs'
+local util = require 'lspconfig/util'
+
+configs.fstar = {
+  default_config = {
+    cmd = { 'fstar.exe', '--lsp' },
+    filetypes = { 'fstar' },
+    root_dir = util.root_pattern '.git',
+  },
+  docs = {
+    description = [[
+https://github.com/FStarLang/FStar
+
+LSP support is included in FStar. Make sure `fstar.exe` is in your PATH.
+```
+    ]],
+    default_config = {
+      root_dir = [[root_pattern(".git")]],
+    },
+  },
+}