idris-hackers/idris-vim — pull request #4 by sjdrodge (2013-11-21 21:31:23+00:00)
Title: Update the syntax_checker for compatiblity with newer versions of syntas...

...tic.