GitHub repository: timmyjose-forks/idris-vim
Description: Idris mode for vim