idris-hackers/idris-vim — pull request #14 by tauli (2014-05-02 22:09:22+00:00)
Title: fix idris mode in MacVim

fixes a problem in MacVim where idris mode doesn't work if idris and MacVim are in different working directorys