agda / agda-language-server

Language Server for Agda

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Update to newer versions of the `lsp` libraries

michaelpj opened this issue · comments

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)