search

idris-hackers / idris-vim

Idris mode for vim
221 stars 52 forks source link

doc/idris-vim.txt: Document <LocalLeader>h call #21

Closed victoredwardocallaghan closed 9 years ago

victoredwardocallaghan commented 9 years ago

Signed-off-by: Edward O'Callaghan eocallaghan@alterapraxis.com