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

15th
Feb 2017
Namdak Tonpa
@5HT
Feb 15 2017 00:49
Definition main (handler : Request.Path.t -> Request.Cookies.t-> C.t Response.t)
  : unit :=
  main_loop (fun request =>
    let (path, cookies) := Request.parse @@ RawRequest.import request in
    Lwt.bind (eval @@ handler path cookies) (fun response =>
    Lwt.ret @@ RawResponse.export @@ Render.raw response)).
I'm new to OCaml world and curious how to make things right for console IO