Atom

Packages
Themes
Documentation
Blog
Discuss

banacorn's Packages

Sort: Most downloads

Sort options

Most downloads Least downloads Most stars Newest Oldest Recently updated Least recently updated

agda-mode

agda-mode on Atom

8,952

language-agda

Agda language support for the Atom editor

4,799

Terms of Use
Privacy
Code of Conduct
Releases
FAQ
Contact

with by