Closed mattpolzin closed 2 years ago
At least as a VIM user only now transitioning to NeoVIM w/ LSP, figuring out where to put my Idris LSP configurations was a bit of a journey!
Thanks for the plugin!
At least as a VIM user only now transitioning to NeoVIM w/ LSP, figuring out where to put my Idris LSP configurations was a bit of a journey!
Thanks for the plugin!