1 files changed, 19 insertions, 0 deletions
diff --git a/lua/lspconfig/server_configurations/fstar.lua b/lua/lspconfig/server_configurations/fstar.lua
new file mode 100644
index 00000000..e1eae21c
--- /dev/null
+++ b/lua/lspconfig/server_configurations/fstar.lua
@@ -0,0 +1,19 @@
+local util = require 'lspconfig/util'
+
+return {
+  default_config = {
+    cmd = { 'fstar.exe', '--lsp' },
+    filetypes = { 'fstar' },
+    root_dir = util.find_git_ancestor,
+  },
+  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 = [[util.find_git_ancestor]],
+    },
+  },
+}