agda-mode topic

List agda-mode repositories

agda-language-server

95
Stars
17
Forks
Watchers

Language Server for Agda

verified publisher icon agda

agda-mode

59
Stars
14
Forks
Watchers

agda-mode on Atom

verified publisher icon banacorn

agda-mode-vscode

164
Stars
37
Forks
Watchers

agda-mode on VS Code

verified publisher icon banacorn