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

10,107

language-agda

Agda language support for the Atom editor

6,075

Terms of Use
Privacy
Code of Conduct
Releases
FAQ
Contact

with by