agda / agda-language-server

Language Server for Agda

agda/agda-language-server Issues

FTBFS on Debian
Closed 2 months ago1
ICU dynamic library linking problem on Ubuntu
Updated 4 months ago1
Update to newer versions of the `lsp` libraries
Updated 4 months ago
Support semantic highlights
Updated 5 months ago2
Expected functionality for non-VScode editors?
Updated 6 months ago1
lsp: no handler for ...
Closed 6 months ago1
Problem with the locale of binaries built on GitHub Actions
Updated 6 months ago2
Usage with neovim
Closed 7 months ago2
Fails on nixos
Closed 3 years ago6
Automate Release on Hackage with GitHub Actions
Updated 3 years ago
Update `agda-language-server` on Hackage
Closed 3 years ago1
Semantics Syntax Highlighting does not Work for Agda 2.6.2
Closed 3 years ago3
Connection Error
Closed 3 years ago1