Issues
- 0
- 1
- 2
- 1
FTBFS on Debian
#14 opened by stephen-smith - 0
Update to newer versions of the `lsp` libraries
#26 opened by michaelpj - 2
Support semantic highlights
#13 opened by 4e554c4c - 1
Expected functionality for non-VScode editors?
#25 opened by omentic - 1
lsp: no handler for ...
#15 opened by omentic - 2
- 2
Usage with neovim
#11 opened by DieracDelta - 6
Fails on nixos
#2 opened by wldhx - 1
Update `agda-language-server` on Hackage
#7 opened by phijor - 3
- 1
Connection Error
#5 opened by cspollard