issues
search
ShinKage
/
idris2-nvim
Simple configuration and extra tools for NVIM + LSP + Idris2
MIT License
46
stars
8
forks
source link
Add machine names option
#21
Closed
ShinKage
closed
2 years ago