diff options
chore: add type annotation for configs
Diffstat (limited to 'lsp/agda_ls.lua')
| -rw-r--r-- | lsp/agda_ls.lua | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/lsp/agda_ls.lua b/lsp/agda_ls.lua index b10f14e2..64ca6525 100644 --- a/lsp/agda_ls.lua +++ b/lsp/agda_ls.lua @@ -6,6 +6,7 @@ local util = require 'lspconfig.util' +---@type vim.lsp.Config return { cmd = { 'als' }, filetypes = { 'agda' }, |