vim: add lean.vim

vimrc

@@ -25,8 +25,9 @@ Plug 'bling/vim-airline'
 Plug 'tomtom/tcomment_vim'
 " Plug 'jalcine/cmake.vim' --slow
 
-Plug 'benekastah/neomake'
-Plug 'shougo/deoplete.nvim'
+" Plug 'benekastah/neomake'
+" Plug 'shougo/deoplete.nvim'
+Plug 'roxma/nvim-completion-manager'
 
 Plug 'editorconfig/editorconfig-vim'
 " vim-sleuth?
@@ -103,7 +104,11 @@ Plug 'honza/vim-snippets'
 Plug 'nanotech/jellybeans.vim'
 
 Plug '~/dgapt', { 'rtp': 'vim' }
-Plug '~/lean', { 'rtp': 'src/vim' }
+" Plug '~/lean.vim'
+Plug 'leanprover/lean.vim'
+
+Plug 'autozimu/LanguageClient-neovim', { 'do': ':UpdateRemotePlugins' }
+Plug 'Shougo/echodoc.vim'
 
 Plug 'raichoo/smt-vim'
 
@@ -172,3 +177,15 @@ let g:deoplete#omni#input_patterns.scala = '[^. *\t]\.\w*'
 let g:deoplete#omni#input_patterns.ledger = '[^. *\t]\:\w*'
 
 nnoremap <c-p> :FZF<cr>
+
+nnoremap <silent> K :call LanguageClient_textDocument_hover()<CR>
+nnoremap <silent> gd :call LanguageClient_textDocument_definition()<CR>
+
+" let g:cm_completekeys = "\<Plug>(cm_completefunc)"
+
+" call LanguageClient_setLoggingLevel('DEBUG')
+let g:LanguageClient_trace = 'verbose'
+let g:LanguageClient_autoStart = 1
+let g:LanguageClient_serverCommands = {
+    \ 'lean': ['node', '/home/gebner/lean-client-js/lean-language-server/lib/index.js', '--stdio'],
+    \ }