From 8eab7ec3be2bc9b2c81dfe6f7db8e71b0d4cf2bc Mon Sep 17 00:00:00 2001 From: Felipe Morales Date: Tue, 26 Nov 2019 15:03:08 +0100 Subject: Add support for lean language server (#51) --- lua/nvim_lsp.lua | 1 + 1 file changed, 1 insertion(+) (limited to 'lua/nvim_lsp.lua') diff --git a/lua/nvim_lsp.lua b/lua/nvim_lsp.lua index 70748e07..13e27020 100644 --- a/lua/nvim_lsp.lua +++ b/lua/nvim_lsp.lua @@ -9,6 +9,7 @@ require 'nvim_lsp/flow' require 'nvim_lsp/fortls' require 'nvim_lsp/gopls' require 'nvim_lsp/hie' +require 'nvim_lsp/leanls' require 'nvim_lsp/pyls' require 'nvim_lsp/rls' require 'nvim_lsp/solargraph' -- cgit v1.2.3-70-g09d2