Add submodule: idris-vim
Install Idris mode.