Add idris-vim
Single quotes bother me