diff options
chore: add type annotation for configs
Diffstat (limited to 'lsp/fstar.lua')
| -rw-r--r-- | lsp/fstar.lua | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/lsp/fstar.lua b/lsp/fstar.lua index 29216217..5b3e0d47 100644 --- a/lsp/fstar.lua +++ b/lsp/fstar.lua @@ -3,6 +3,7 @@ --- https://github.com/FStarLang/FStar --- --- LSP support is included in FStar. Make sure `fstar.exe` is in your PATH. +---@type vim.lsp.Config return { cmd = { 'fstar.exe', '--lsp' }, filetypes = { 'fstar' }, |