Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / banacorn/agda-language-server issues and pull requests
#15 - lsp: no handler for ...
Issue -
State: open - Opened by omentic about 1 year ago
Labels: bug
#14 - FTBFS on Debian
Issue -
State: open - Opened by stephen-smith about 1 year ago
#13 - Support semantic highlights
Issue -
State: open - Opened by 4e554c4c over 1 year ago
- 1 comment
Labels: enhancement
#12 - [ update ] Bump Agda to 2.6.2.2
Pull Request -
State: open - Opened by mildsunrise about 2 years ago
#11 - Usage with neovim
Issue -
State: open - Opened by DieracDelta over 2 years ago
- 1 comment
#10 - Use recent text-icu to allow build on Mac M1
Pull Request -
State: open - Opened by FranklinChen over 2 years ago
#9 - [ update ] Bump Agda to 2.6.2.1
Pull Request -
State: closed - Opened by L-TChen over 2 years ago
- 1 comment
#8 - Automate Release on Hackage with GitHub Actions
Issue -
State: open - Opened by banacorn almost 3 years ago
#7 - Update `agda-language-server` on Hackage
Issue -
State: closed - Opened by phijor almost 3 years ago
- 1 comment
#6 - ICU dynamic library linking problem on Ubuntu
Issue -
State: open - Opened by banacorn almost 3 years ago
Labels: prebulit
#5 - Connection Error
Issue -
State: closed - Opened by cspollard about 3 years ago
- 1 comment
Labels: bug
#4 - Semantics Syntax Highlighting does not Work for Agda 2.6.2
Issue -
State: closed - Opened by L-TChen about 3 years ago
- 3 comments
#3 - [ doc ] git clone https
Pull Request -
State: closed - Opened by mio-19 about 3 years ago
- 1 comment
#2 - Fails on nixos
Issue -
State: closed - Opened by wldhx over 3 years ago
- 6 comments
Labels: bug
#1 - fix: Aeson 1.5 readiness
Pull Request -
State: closed - Opened by wldhx over 3 years ago
- 1 comment