derekelkins/agda-vim — pull request #2 by prooftechnique (2013-11-13 03:24:40+00:00)
Title: Use LocalLeader instead of ,

In order to avoid stomping on possible `` bindings (or having these bindings similarly stomped) in the case of using `","` as ``, use ``.