blob: 749460f1113c16a99305337a599a1351fbf75314 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
---@brief
---
--- 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' },
root_markers = { '.git' },
}
|