agda-mode topic
List
agda-mode repositories
agda-language-server
95
Stars
17
Forks
Watchers
Language Server for Agda
agda-mode-vscode
164
Stars
37
Forks
Watchers
agda-mode on VS Code
powertoys-run-unicode
18
Stars
1
Forks
Watchers
PowerToys Run module to permit HTML and Agda symbolic input (via Run) anywhere!