start/lspconfig-0.1.8/lua/lspconfig/server_configurations/mm0_ls.lua


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20

local util = require 'lspconfig.util'

return {
  default_config = {
    cmd = { 'mm0-rs', 'server' },
    root_dir = util.find_git_ancestor,
    filetypes = { 'metamath-zero' },
    single_file_support = true,
  },
  docs = {
    description = [[
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`.
    ]],
  },
}