Better repl - Githubissues

ShinKage / idris2-nvim

Simple configuration and extra tools for NVIM + LSP + Idris2

MIT License

46 stars 7 forks source link

Better repl #22

Closed ShinKage closed 2 years ago

ShinKage commented 2 years ago

More features for the evaluate at REPL command:

Use a string instead of a prompt with the expr option;
Use the last visual selection instead of prompt with the visual option;
Substitute instead of printing with both visual and sub options;
Print the result via virtual text at the end of line with the virtual option.