I'm looking for documentation on idris '--client' poke @edwinbrady @raichoo @puffnfresh (it doesn't seem to work on idris 0.9.15.1)
@clementd It just runs a repl command on a currently running instance. The command needs to be in ‘single quotes’.
-
-
@edwinbrady I gives me a "connection refused" error. Using telnet instead of idris --client works ok. -
@clementd I’d kill all the running instances and start again. - 2 more replies
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.