issues
search
agda
/
agda-language-server
Language Server for Agda
MIT License
99
stars
17
forks
source link
v0.2.6.2.2.1: Build with lsp-1.6 on GHC 9.2 and LTS 20.26
#20
Closed
andreasabel
closed
9 months ago