search

idris-hackers / idris-vim

Idris mode for vim
221 stars 52 forks source link

Document the '\b' command. #41

Closed LeifW closed 8 years ago

LeifW commented 8 years ago

Fixes #30