2019-10-28から1日間の記事一覧

On merging of two asynchronous queues

This is a personal note on what I implemented for this signature https://github.com/keigoi/ocaml-mpst/blob/master/lib/lwt/mstream.mli. Comments are appreciated, but the followings are not meant to be read by others than myself. ---- Suppos…