banacorn

banacorn

👤 Developer

3 repositories on SrcLog

View on GitHub
3 Repos
223 Stars
52 Forks
223 Watchers

Repositories (3)

agda-mode-vscode banacorn/agda-mode-vscode ReScript

agda-mode on VS Code

152
agda-mode banacorn/agda-mode Reason

agda-mode on Atom

58
language-agda banacorn/language-agda

Agda language support for the Atom editor

13