search

idris-hackers / idris-vim

Idris mode for vim
221 stars 52 forks source link

Document \b command #30

Closed LeifW closed 8 years ago

LeifW commented 9 years ago

Adds definitions when declaring new typeclass instances, apparently.

LeifW commented 9 years ago

Available commands are defined at https://github.com/idris-hackers/idris-vim/blob/master/ftplugin/idris.vim#L277