Geeks
buggymcbugfix
/
language-agda
Agda language support for the Atom editor
MIT License
MIT
language-agda Home Page
language-agda GitHub
Markdown
Readme
0
Issues
0
Stargazers
1
Watcher
Watchers
jhcloos