Talk to Idris via a socket instead of stdout
Closed this issue · 1 comments
archaeron commented
See this issue for why this would be cool:
meraymond2 commented
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.