GitHub repository: thomasdziedzic/idris-vim
Primary language: VimL
Description: Idris mode for vim