idris-lang/Idris-dev — pull request #1452 by hannesm (2014-08-02 20:06:44+00:00)
Title: Ideslave socket

provide an option to communicate via a tcp/ip socket with the ideslave protocol. also provide a protocol-version.

this will enable execution from within emacs (since stdin/stdout of idris can be used for the program, while tcp/ip socket is used for the structured expressions)