aboutsummaryrefslogtreecommitdiffstats
path: root/lua/nvim_lsp/leanls.lua
Commit message (Expand)AuthorAgeFilesLines
* Add docs and vscode names. (#53)Ashkan Kiani2019-11-261-2/+3
* Add support for lean language server (#51)Felipe Morales2019-11-261-0/+26