diff options
Diffstat (limited to 'lsp/agda_ls.lua')
| -rw-r--r-- | lsp/agda_ls.lua | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/lsp/agda_ls.lua b/lsp/agda_ls.lua index a266385c..127b3081 100644 --- a/lsp/agda_ls.lua +++ b/lsp/agda_ls.lua @@ -2,9 +2,9 @@ local util = require 'lspconfig.util' ---@brief --- --- https://github.com/agda/agda-language-server --- --- Language Server for Agda. +--- https://github.com/agda/agda-language-server +--- +--- Language Server for Agda. return { cmd = { 'als' }, filetypes = { 'agda' }, |