search

idris-hackers / idris-vim

Idris mode for vim
221 stars 52 forks source link

fix idris mode in MacVim #14

Closed tauli closed 10 years ago

tauli commented 10 years ago

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