GitHub repository: wsdjeg/vim-idris
Primary language: Vim script
Description: idris support for SpaceVim