search

idris-hackers / idris-vim

Idris mode for vim
221 stars 52 forks source link

Mention default localleader in README #89

Open Shou opened 6 years ago

Shou commented 6 years ago

It'd help if the default <LocalLeader> binding \ was mentioned in the README to lessen the friction on beginners.