lua/lspconfig/configs/mm0_ls.lua


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

return {
  default_config = {
    cmd = { 'mm0-rs', 'server' },
    root_dir = function(fname)
      return vim.fs.dirname(vim.fs.find('.git', { path = fname, upward = true })[1])
    end,
    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`.
    ]],
  },
}