aboutsummaryrefslogtreecommitdiff
path: root/.config/nvim/lsp/mm0_ls.lua
diff options
context:
space:
mode:
Diffstat (limited to '.config/nvim/lsp/mm0_ls.lua')
-rw-r--r--.config/nvim/lsp/mm0_ls.lua15
1 files changed, 0 insertions, 15 deletions
diff --git a/.config/nvim/lsp/mm0_ls.lua b/.config/nvim/lsp/mm0_ls.lua
deleted file mode 100644
index 079a08d..0000000
--- a/.config/nvim/lsp/mm0_ls.lua
+++ /dev/null
@@ -1,15 +0,0 @@
----@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' },
-}