mirror of
https://github.com/neovim/nvim-lspconfig.git
synced 2025-12-24 23:11:00 +01:00
16 lines
369 B
Lua
16 lines
369 B
Lua
---@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' },
|
|
}
|