search

idris-hackers / idris-vim

Idris mode for vim
221 stars 52 forks source link

Expose functions as commands instead of only leader keybindings #63

Closed lpil closed 5 years ago

lpil commented 7 years ago

Hello!

It'd be convenient (and more standard) to expose the functions provided by this plugin as commands that can be used without the supplied leader mappings.

e.g. the IdrisShowType function could be mapped to a command with the same name so it can be either invoked with :IdrisShowType<CR> or easily bound to another key mapping.

Cheers, Louis