Geeks
banacorn
/
agda-mode
agda-mode on Atom
Primary Language
Reason
MIT License
MIT
agda-mode Home Page
agda-mode GitHub
Markdown
Readme
112
Issues
58
Stargazers
9
Watchers
Watchers
ahlinc
Ukraine, Kyiv
banacorn
Taipei, Taiwan
eemailme
keibrown
kino3
Advanced Institute of Industrial Technology
markokoleznik
Slovenija
pthariensflame
Modesto, CA, USA
zampino
@nextjournal
zjhmale