blob: 079a08deb45a7dfc96a8e2d2fbb1db63abb52733 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
---@brief
---
--- https://github.com/digama0/mm0
---
--- Language Server for the metamath-zero theorem prover.
---
--- Requires [mm0-rs](https://github.com/digama0/mm0/tree/master/mm0-rs) to be installed
--- and available on the `PATH`.
---@type vim.lsp.Config
return {
cmd = { 'mm0-rs', 'server' },
root_markers = { '.git' },
filetypes = { 'metamath-zero' },
}
|