idris-hackers/idris-mode — pull request #239 by hannesm (2014-08-02 20:07:24+00:00)
Title: protocol version handling and socket communication

depends on https://github.com/idris-lang/Idris-dev/pull/1452