idris-hackers/idris-mode — pull request #138 by david-christiansen (2014-05-07 06:56:55+00:00)
Title: Flycheck support + fix warnings on MELPA install

RE #111

Flycheck is quite nice, btw! It would be cool to integrate that with IDESlave somehow, so we didn't need to spawn new Idris processes all the time. Shouldn't be TOO hard...