doc/idris-vim.txt: Trivial typo fixes

idris-hackers / idris-vim

Idris mode for vim

221 stars 52 forks source link

Closed victoredwardocallaghan closed 9 years ago

victoredwardocallaghan commented 9 years ago

Co-Author: Sara Lelliott io@jupitercrash.org Signed-off-by: Edward O'Callaghan eocallaghan@alterapraxis.com