banacorn

Packages 2

language-agda

Agda language support for the Atom editor
banacorn
5,593

agda-mode

agda-mode on Atom
banacorn
9,827

Themes 0

No themes… yet.

Stars 2

aesthetic-ui

Ａｎ　ＡＥＳＴＨＥＴＩＣ　ＵＩ　tｈｅｍｅ　ｆｏｒ　Ａｔｏｍ
dtinth
25,599

language-pi

Grammar for the language Pi
scmlab
83