aboutsummaryrefslogtreecommitdiffstats
path: root/lsp/agda_ls.lua
Commit message (Expand)AuthorAgeFilesLines
* chore: add type annotation for configsIgor2025-08-181-0/+1
* ci(lint): check `@brief` docstring placement #3762Justin M. Keyes2025-04-221-2/+3
* docs: cleanupJustin M. Keyes2025-04-181-3/+3
* fix(docs): docgen.lua reads from `lua/*.lua` #3708Justin M. Keyes2025-04-121-1/+1
* feat: migrate to vim.lsp.config #3659Lorenzo Bellina2025-04-121-0/+15