agda / agda-language-server

Language Server for Agda
108Updated 4 months ago

Alternatives and similar repositories for agda-language-server:

Users that are interested in agda-language-server are comparing it to the libraries listed below