Geeks
ShinKage
/
nvim-idris2
EXPERIMENTAL: Idris2 plugin for neovim in Idris2
Primary Language
Lua
MIT License
MIT
nvim-idris2 GitHub
Markdown
Readme
0
Issues
10
Stargazers
2
Watchers
Stargazers
alok
Berkeley, CA
beike-zh
BeLeap
@toss @klue-kr
d3v3l0
Munich
elkowar
Karlsruhe, Germany
Gavinok
jgarte
Madison, WI
mattpolzin
@opallabs
Russoul
Tbilisi, Georgia
space-shell