These are chat archives for coq-io/hello-world

Feb 2017
Namdak Tonpa
Feb 24 2017 00:53
I also have several questions about Lwt
how co combine Network epoll based IO and REPL in one server
and thought about Multicore OCaml
what I want to create
is interpreter shell with commands spawn ps kill, send recv — where send and recv are bindings to OCaml
and I strive to use CoFixpoint and CoInductive as the basis for the process