docs: update CONFIG.md

skip-checks: true

1 files changed, 26 insertions, 0 deletions

diff --git a/CONFIG.md b/CONFIG.md
index 35bf7055..7d242865 100644
--- a/CONFIG.md
+++ b/CONFIG.md
@@ -36,6 +36,7 @@ that config.
 - [flux-lsp](#flux-lsp)
 - [fortls](#fortls)
 - [fsautocomplete](#fsautocomplete)
+- [fstar](#fstar)
 - [gdscript](#gdscript)
 - [ghcide](#ghcide)
 - [gopls](#gopls)
@@ -2168,6 +2169,31 @@ require'lspconfig'.fsautocomplete.setup{}
 ```
 
 
+## fstar
+
+https://github.com/FStarLang/FStar
+
+LSP support is included in FStar. Make sure `fstar.exe` is in your PATH.
+```
+    
+
+
+**Snippet to enable the language server:**
+```lua
+require'lspconfig'.fstar.setup{}
+```
+
+**Commands and default values:**
+```lua
+  Commands:
+  
+  Default Values:
+    cmd = { "fstar.exe", "--lsp" }
+    filetypes = { "fstar" }
+    root_dir = root_pattern(".git")
+```
+
+
 ## gdscript
 
 https://github.com/godotengine/godot