From ddcd9e6aae50d6397e43e4fc9ba0cf7a82cc79de Mon Sep 17 00:00:00 2001
From: Hirokazu Hata <h.hata.ai.t@gmail.com>
Date: Sun, 6 Sep 2020 17:49:21 +0900
Subject: Rename nvim_lsp to lspconfig

---
 lua/lspconfig/leanls.lua | 22 ++++++++++++++++++++++
 1 file changed, 22 insertions(+)
 create mode 100644 lua/lspconfig/leanls.lua

(limited to 'lua/lspconfig/leanls.lua')

diff --git a/lua/lspconfig/leanls.lua b/lua/lspconfig/leanls.lua
new file mode 100644
index 00000000..cd6f4644
--- /dev/null
+++ b/lua/lspconfig/leanls.lua
@@ -0,0 +1,22 @@
+local configs = require 'lspconfig/configs'
+local util = require 'lspconfig/util'
+
+configs.leanls = {
+  default_config = {
+    cmd = {"lean-language-server", "--stdio"};
+    filetypes = {"lean"};
+    root_dir = util.root_pattern(".git");
+  };
+  docs = {
+    package_json = "https://raw.githubusercontent.com/leanprover/vscode-lean/master/package.json";
+    description = [[
+https://github.com/leanprover/lean-client-js/tree/master/lean-language-server
+
+Lean language server.
+    ]];
+    default_config = {
+      root_dir = [[util.root_pattern(".git")]];
+    };
+  };
+}
+-- vim:et ts=2 sw=2
-- 
cgit v1.2.3-70-g09d2