search

agda / agda-language-server

Language Server for Agda
MIT License
102 stars 17 forks source link

Update to newer versions of the `lsp` libraries #26

Closed michaelpj closed 1 day ago

michaelpj commented 9 months ago

This is mostly annoying work, but I do make improvements to lsp and it would be nice if you were getting them.

(I do this work for HLS and I would like to do this for you if I get time, but I thought I would open this issue to track it anyway)

banacorn commented 1 day ago

Thank you for your work on lsp!

Just merged PR https://github.com/agda/agda-language-server/pull/23. Now the project builds with lsp-2.7.0.0 and lsp-types-2.3.0.0.