Giters
edwinb
/
idris2-vim
Vim mode for Idris 2
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
75
Watchers:
8
Issues:
9
Forks:
26
edwinb/idris2-vim Watchers
Austin R Chesnut
austinChesnut
Denis Buzdalov
buzden
bluesir
chenjianxin
Edwin Brady
edwinb
eemailme
Franklin Chen
FranklinChen
GustavoMF31
James Cloos
jhcloos