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