search

edwinb / idris2-vim

Vim mode for Idris 2
75 stars 26 forks source link

Explain that `<LocalLeader>` is `\` by default #29

Open joliss opened 3 years ago