lsp/fstar.lua


1
2
3
4
5
6
7
8
9
10

---@brief
---
-- https://github.com/FStarLang/FStar
--
-- LSP support is included in FStar. Make sure `fstar.exe` is in your PATH.
return {
  cmd = { 'fstar.exe', '--lsp' },
  filetypes = { 'fstar' },
  root_markers = { '.git' },
}