np

Packages 0

No packages… yet.

Themes 0

No themes… yet.

Stars 4

agda-mode

agda-mode on Atom
banacorn
8,438

language-agda

Agda language support for the Atom editor
banacorn
4,331

ide-haskell

Haskell IDE
atom-haskell
2.4.1 206,170

file-icons

Assign file extension icons and colours for improved visual grepping
file-icons
7,694,799