agda-language-server (hackage): Please see the README on GitHub at https://github.com/banacorn/agda-language-server#readme
Keywords: development|library|mit|program|agda|agda-mode|language-server-protocol