Idris and VimShell