awwaiid has quit [Read error: 104 (Connection reset by peer)]
gl has quit ["sic transit gloria mundi"]
mdk8 has joined #ocaml
mdk8 has quit [Remote closed the connection]
ni has joined #ocaml
gene9 has joined #ocaml
gene9 has quit [Client Quit]
ni has left #ocaml []