Talk to Idris via a socket instead of stdout

[archaeron]

See this issue for why this would be cool:

idris-hackers/atom-language-idris#245

[meraymond2]

Just a few days in the google group someone posted their online Idris sandbox. It made me think that if the client can use a socket, it could use a websocket, and then you could this library in the browser.