malc has joined #ocaml
malc has quit ["no reason"]
irc has joined #ocaml
irc is now known as svejk
svejk has quit [Client Quit]
vect has joined #ocaml
vect is now known as gl
merriam has joined #ocaml
merriam has quit ["Started wasting time elsewhere"]
merriam has joined #ocaml
gl has quit ["sic transit gloria mundi"]
merriam has quit ["Started wasting time elsewhere"]