idris-hackers/idris-vim — pull request #19 by victoredwardocallaghan (2014-10-10 11:46:05+00:00)
Title: doc/idris-vim.txt: Trivial typo fixes

Co-Author: Sara Lelliott
Signed-off-by: Edward O'Callaghan