Add plugin: vim-slime
vim-slime options
Update all packages to the latest version
Add plugin: idris-vim
Add plugin: vim-eunuch