search

ShinKage / idris2-nvim

Simple configuration and extra tools for NVIM + LSP + Idris2
MIT License
46 stars 8 forks source link

Add a basic repl evaluate command. #5

Closed mattpolzin closed 2 years ago

mattpolzin commented 2 years ago

Adds one of the few remaining niceties from the older (non-LSP) vim Idris 2 integration.

ShinKage commented 2 years ago

I will merge as it is. A couple of improvements for future PRs would be some configuration for the output UI (results may be too verbose for the statusline) and the possibility of sending visually selected text as input.