search

agda / agda-language-server

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

Build with lsp-1.4 (stackage lts-19.33) #17

Closed andreasabel closed 9 months ago

andreasabel commented 9 months ago

Preserve building with lsp-1.3 (stackate lts-18.28) in stack-8.10.yaml.