scrooloose/syntastic — pull request #1215 by victoredwardocallaghan (2014-10-14 10:00:51+00:00)
Title: Fix Idris REPL conflict issue

See the following for more details,

https://github.com/idris-hackers/idris-vim/issues/10

https://github.com/idris-lang/Idris-dev/issues/1134

Signed-off-by: Edward O'Callaghan