diff options
| author | Stefano Volpe <foxy@teapot.ovh> | 2024-04-11 08:03:37 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-04-11 14:03:37 +0800 |
| commit | 9e477848d1e3bc859aa038245cc6b392489cb42d (patch) | |
| tree | 58c16304a2f62d0a44d65832679efc475187c907 /lua | |
| parent | docs: update server_configurations.md (diff) | |
| download | nvim-lspconfig-9e477848d1e3bc859aa038245cc6b392489cb42d.tar nvim-lspconfig-9e477848d1e3bc859aa038245cc6b392489cb42d.tar.gz nvim-lspconfig-9e477848d1e3bc859aa038245cc6b392489cb42d.tar.bz2 nvim-lspconfig-9e477848d1e3bc859aa038245cc6b392489cb42d.tar.lz nvim-lspconfig-9e477848d1e3bc859aa038245cc6b392489cb42d.tar.xz nvim-lspconfig-9e477848d1e3bc859aa038245cc6b392489cb42d.tar.zst nvim-lspconfig-9e477848d1e3bc859aa038245cc6b392489cb42d.zip | |
feat: add agda-language-server (#3100)
* feat: add agda-language-server
* fix(agda_ls): *.agda-lib root pattern
Diffstat (limited to 'lua')
| -rw-r--r-- | lua/lspconfig/server_configurations/agda_ls.lua | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/lua/lspconfig/server_configurations/agda_ls.lua b/lua/lspconfig/server_configurations/agda_ls.lua new file mode 100644 index 00000000..07d6e93f --- /dev/null +++ b/lua/lspconfig/server_configurations/agda_ls.lua @@ -0,0 +1,17 @@ +local util = require 'lspconfig.util' + +return { + default_config = { + cmd = { 'als' }, + filetypes = { 'agda' }, + root_dir = util.root_pattern('.git', '*.agda-lib'), + single_file_support = true, + }, + docs = { + description = [[ +https://github.com/agda/agda-language-server + +Language Server for Agda. +]], + }, +} |