adrien changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org | OCaml 4.09 release notes: https://caml.inria.fr/pub/distrib/ocaml-4.09/notes/Changes | Try OCaml in your browser: http://try.ocamlpro.com | Public channel logs at http://irclog.whitequark.org/ocaml
AtumT has joined #ocaml
AtumT_ has quit [Ping timeout: 250 seconds]
AtumT_ has joined #ocaml
AtumT has quit [Ping timeout: 240 seconds]
kleisli has joined #ocaml
olle has quit [Ping timeout: 250 seconds]
olle has joined #ocaml
unyu has joined #ocaml
toppler has quit [Read error: Connection reset by peer]
toppler has joined #ocaml
toppler has quit [Read error: Connection reset by peer]
toppler has joined #ocaml
Hrundi_V_Bakshi has quit [Quit: http://quassel-irc.org - Chat comfortably. Anywhere.]
jao has quit [Remote host closed the connection]
toppler has quit [Read error: Connection reset by peer]
toppler has joined #ocaml
cheesy has joined #ocaml
slice has quit [Ping timeout: 264 seconds]
unyu has quit [Ping timeout: 246 seconds]
Haudegen has quit [Ping timeout: 264 seconds]
AtumT_ has quit [Quit: AtumT_]
companion_cube has quit [Ping timeout: 264 seconds]
tormen_ has joined #ocaml
tormen has quit [Ping timeout: 240 seconds]
mfp has quit [Ping timeout: 268 seconds]
toppler has quit [Read error: Connection reset by peer]
toppler has joined #ocaml
toppler has quit [Read error: Connection reset by peer]
toppler has joined #ocaml
companion_cube has joined #ocaml
unyu has joined #ocaml
_whitelogger has joined #ocaml
kleisli has quit [Ping timeout: 240 seconds]
unyu has quit [Ping timeout: 276 seconds]
unyu has joined #ocaml
kleisli has joined #ocaml
tizoc has quit [Quit: Coyote finally caught me]
tizoc has joined #ocaml
narimiran has joined #ocaml
gravicappa has joined #ocaml
ravenousmoose has joined #ocaml
ravenousmoose has quit [Ping timeout: 245 seconds]
toppler has quit [Read error: Connection reset by peer]
toppler has joined #ocaml
kleisli has quit [Ping timeout: 240 seconds]
toppler has quit [Read error: Connection reset by peer]
toppler has joined #ocaml
q9929t has joined #ocaml
toppler has quit [Read error: Connection reset by peer]
toppler has joined #ocaml
toppler has quit [Read error: Connection reset by peer]
toppler has joined #ocaml
q9929t has quit [Quit: q9929t]
toppler has quit [Read error: Connection reset by peer]
toppler has joined #ocaml
toppler has quit [Read error: Connection reset by peer]
toppler has joined #ocaml
rpcope has joined #ocaml
ggole has joined #ocaml
betux has joined #ocaml
_whitelogger has joined #ocaml
toppler has quit [Read error: Connection reset by peer]
toppler has joined #ocaml
toppler has quit [Read error: Connection reset by peer]
toppler has joined #ocaml
toppler has quit [Read error: Connection reset by peer]
toppler has joined #ocaml
toppler has quit [Read error: Connection reset by peer]
toppler has joined #ocaml
toppler has quit [Read error: Connection reset by peer]
toppler has joined #ocaml
toppler has quit [Read error: Connection reset by peer]
toppler has joined #ocaml
toppler has quit [Read error: Connection reset by peer]
toppler has joined #ocaml
toppler has quit [Read error: Connection reset by peer]
toppler has joined #ocaml
toppler has quit [Read error: Connection reset by peer]
toppler has joined #ocaml
toppler has quit [Read error: Connection reset by peer]
toppler has joined #ocaml
cartwright has quit [Remote host closed the connection]
ravenousmoose has joined #ocaml
cartwright has joined #ocaml
betux has quit [Quit: betux]
narimiran has quit [Ping timeout: 246 seconds]
toppler has quit [Read error: Connection reset by peer]
toppler has joined #ocaml
toppler has quit [Read error: Connection reset by peer]
toppler has joined #ocaml
toppler has quit [Read error: Connection reset by peer]
toppler has joined #ocaml
toppler has quit [Read error: Connection reset by peer]
toppler has joined #ocaml
toppler has quit [Read error: Connection reset by peer]
toppler has joined #ocaml
ravenousmoose has quit [Read error: Connection reset by peer]
toppler has quit [Read error: Connection reset by peer]
toppler has joined #ocaml
ravenousmoose has joined #ocaml
toppler has quit [Read error: Connection reset by peer]
toppler has joined #ocaml
toppler has quit [Read error: Connection reset by peer]
toppler has joined #ocaml
toppler has quit [Read error: Connection reset by peer]
toppler has joined #ocaml
toppler has quit [Read error: Connection reset by peer]
orbifx1 has joined #ocaml
toppler has joined #ocaml
toppler has quit [Read error: Connection reset by peer]
toppler has joined #ocaml
toppler has quit [Read error: Connection reset by peer]
toppler has joined #ocaml
toppler has quit [Read error: Connection reset by peer]
toppler has joined #ocaml
toppler has quit [Read error: Connection reset by peer]
toppler has joined #ocaml
toppler has quit [Read error: Connection reset by peer]
toppler has joined #ocaml
Traviss__ has joined #ocaml
toppler has quit [Read error: Connection reset by peer]
toppler has joined #ocaml
traviss has quit [Ping timeout: 265 seconds]
toppler has quit [Read error: Connection reset by peer]
toppler has joined #ocaml
toppler has quit [Remote host closed the connection]
toppler has joined #ocaml
toppler has quit [Read error: Connection reset by peer]
toppler has joined #ocaml
toppler has quit [Read error: Connection reset by peer]
toppler has joined #ocaml
toppler has quit [Read error: Connection reset by peer]
toppler has joined #ocaml
<olle> wow, they made lean in c++
<olle> so it's faster than coq?
toppler has quit [Read error: Connection reset by peer]
<Armael> possibly?
toppler has joined #ocaml
<Armael> but what you're asking is somewhat similar to "is gcc faster than ocamlc since it's implemented in C"
mfp has joined #ocaml
<olle> ;)
toppler has quit [Read error: Connection reset by peer]
toppler has joined #ocaml
toppler has quit [Read error: Connection reset by peer]
toppler has joined #ocaml
toppler has quit [Remote host closed the connection]
toppler has joined #ocaml
toppler has quit [Read error: Connection reset by peer]
toppler has joined #ocaml
toppler has quit [Read error: Connection reset by peer]
toppler has joined #ocaml
toppler has quit [Read error: Connection reset by peer]
toppler has joined #ocaml
toppler has quit [Read error: Connection reset by peer]
toppler has joined #ocaml
toppler has quit [Read error: Connection reset by peer]
toppler has joined #ocaml
toppler has quit [Read error: Connection reset by peer]
toppler has joined #ocaml
toppler has quit [Read error: Connection reset by peer]
toppler has joined #ocaml
toppler has quit [Read error: Connection reset by peer]
toppler has joined #ocaml
toppler has quit [Read error: Connection reset by peer]
toppler has joined #ocaml
toppler has quit [Read error: Connection reset by peer]
toppler has joined #ocaml
toppler has quit [Read error: Connection reset by peer]
toppler has joined #ocaml
Haudegen has joined #ocaml
toppler has quit [Read error: Connection reset by peer]
toppler has joined #ocaml
toppler has quit [Read error: Connection reset by peer]
toppler has joined #ocaml
toppler has quit [Read error: Connection reset by peer]
toppler has joined #ocaml
nahra has joined #ocaml
toppler has quit [Read error: Connection reset by peer]
toppler has joined #ocaml
toppler has quit [Read error: Connection reset by peer]
toppler has joined #ocaml
toppler has quit [Read error: Connection reset by peer]
toppler has joined #ocaml
toppler has quit [Read error: Connection reset by peer]
toppler has joined #ocaml
toppler has quit [Read error: Connection reset by peer]
toppler has joined #ocaml
toppler has quit [Read error: Connection reset by peer]
toppler has joined #ocaml
toppler has quit [Read error: Connection reset by peer]
toppler has joined #ocaml
orbifx1 has quit [Ping timeout: 268 seconds]
kaun_ has joined #ocaml
kaun_ has left #ocaml [#ocaml]
kaun_ has joined #ocaml
toppler has quit [Remote host closed the connection]
toppler has joined #ocaml
toppler has quit [Read error: Connection reset by peer]
toppler has joined #ocaml
kaun_ has quit [Ping timeout: 264 seconds]
toppler has quit [Write error: Connection reset by peer]
toppler has joined #ocaml
toppler has quit [Remote host closed the connection]
toppler has joined #ocaml
toppler has quit [Read error: Connection reset by peer]
toppler has joined #ocaml
toppler has quit [Read error: Connection reset by peer]
toppler has joined #ocaml
toppler has quit [Read error: Connection reset by peer]
toppler has joined #ocaml
toppler has quit [Read error: Connection reset by peer]
toppler has joined #ocaml
toppler has quit [Ping timeout: 250 seconds]
toppler has joined #ocaml
toppler has quit [Read error: Connection reset by peer]
toppler has joined #ocaml
toppler has quit [Read error: Connection reset by peer]
toppler has joined #ocaml
toppler has quit [Read error: Connection reset by peer]
toppler has joined #ocaml
toppler has quit [Read error: Connection reset by peer]
toppler has joined #ocaml
toppler has quit [Read error: Connection reset by peer]
toppler has joined #ocaml
toppler has quit [Read error: Connection reset by peer]
toppler has joined #ocaml
FreeBirdLjj has joined #ocaml
toppler has quit [Read error: Connection reset by peer]
toppler has joined #ocaml
toppler has quit [Read error: Connection reset by peer]
toppler has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 268 seconds]
toppler has quit [Read error: Connection reset by peer]
toppler has joined #ocaml
toppler has quit [Read error: Connection reset by peer]
toppler has joined #ocaml
toppler has quit [Read error: Connection reset by peer]
toppler has joined #ocaml
toppler has quit [Read error: Connection reset by peer]
toppler has joined #ocaml
toppler has quit [Read error: Connection reset by peer]
toppler has joined #ocaml
AtumT has joined #ocaml
toppler has quit [Read error: Connection reset by peer]
toppler has joined #ocaml
toppler has quit [Read error: Connection reset by peer]
toppler has joined #ocaml
toppler has quit [Read error: Connection reset by peer]
toppler has joined #ocaml
toppler has quit [Read error: Connection reset by peer]
toppler has joined #ocaml
toppler has quit [Read error: Connection reset by peer]
toppler has joined #ocaml
toppler has quit [Read error: Connection reset by peer]
toppler has joined #ocaml
nahra has quit [Ping timeout: 268 seconds]
toppler has quit [Read error: Connection reset by peer]
toppler has joined #ocaml
toppler has quit [Read error: Connection reset by peer]
toppler has joined #ocaml
toppler has quit [Read error: Connection reset by peer]
toppler has joined #ocaml
toppler has quit [Read error: Connection reset by peer]
toppler has joined #ocaml
toppler has quit [Read error: Connection reset by peer]
toppler has joined #ocaml
toppler has quit [Read error: Connection reset by peer]
toppler has joined #ocaml
toppler has quit [Read error: Connection reset by peer]
toppler has joined #ocaml
toppler has quit [Read error: Connection reset by peer]
toppler has joined #ocaml
kjak has quit [Ping timeout: 265 seconds]
toppler has quit [Read error: Connection reset by peer]
toppler has joined #ocaml
toppler has quit [Read error: Connection reset by peer]
toppler has joined #ocaml
toppler has quit [Read error: Connection reset by peer]
toppler has joined #ocaml
toppler has quit [Read error: Connection reset by peer]
toppler has joined #ocaml
toppler has quit [Read error: Connection reset by peer]
toppler has joined #ocaml
toppler has quit [Read error: Connection reset by peer]
toppler has joined #ocaml
toppler has quit [Read error: Connection reset by peer]
toppler has joined #ocaml
toppler has quit [Read error: Connection reset by peer]
toppler has joined #ocaml
toppler has quit [Read error: Connection reset by peer]
toppler has joined #ocaml
<simpson> olle: Algorithms and VM design are more important, IMO; Metamath is far faster than Lean *or* Coq.
<olle> simpson: ok
silver has joined #ocaml
<olle> didn't know about metamath
<olle> is it written in assembler? ;)
<simpson> olle: Nope, Metamath interpreters can be written in many languages. There's a basic Python script that can verify Metamath faster than Lean, Coq, Isabelle, etc. But there's also a Rust implementation that can verify thousands of theorems per second.
kakadu has joined #ocaml
<bartholin> >python is faster than coq
* bartholin shudders
FreeBirdLjj has joined #ocaml
<simpson> Dunno why that's scary. It's all down to the amount of work that is done. http://us.metamath.org/downloads/mmverify.py is not very long.
toppler has quit [Read error: Connection reset by peer]
toppler has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 268 seconds]
toppler has quit [Read error: Connection reset by peer]
toppler has joined #ocaml
toppler has quit [Read error: Connection reset by peer]
toppler has joined #ocaml
klntsky_ has quit [Quit: WeeChat 1.6]
klntsky has joined #ocaml
mfp has quit [Ping timeout: 240 seconds]
toppler has quit [Read error: Connection reset by peer]
toppler has joined #ocaml
toppler has quit [Read error: Connection reset by peer]
toppler has joined #ocaml
kaun_ has joined #ocaml
toppler has quit [Read error: Connection reset by peer]
toppler has joined #ocaml
nahra has joined #ocaml
Haudegen has quit [Quit: No Ping reply in 180 seconds.]
toppler has quit [Read error: Connection reset by peer]
toppler has joined #ocaml
Haudegen has joined #ocaml
toppler has quit [Read error: Connection reset by peer]
toppler has joined #ocaml
toppler has quit [Read error: Connection reset by peer]
toppler has joined #ocaml
toppler has quit [Read error: Connection reset by peer]
toppler has joined #ocaml
toppler has quit [Read error: Connection reset by peer]
toppler has joined #ocaml
toppler has quit [Read error: Connection reset by peer]
toppler has joined #ocaml
toppler has quit [Read error: Connection reset by peer]
toppler has joined #ocaml
kaun_ has left #ocaml [#ocaml]
toppler has quit [Read error: Connection reset by peer]
toppler has joined #ocaml
mfp has joined #ocaml
toppler has quit [Read error: Connection reset by peer]
toppler has joined #ocaml
ziyourenxiang_ has quit [Ping timeout: 240 seconds]
toppler has quit [Read error: Connection reset by peer]
toppler has joined #ocaml
toppler has quit [Read error: Connection reset by peer]
toppler has joined #ocaml
toppler has quit [Read error: Connection reset by peer]
AtumT_ has joined #ocaml
toppler has joined #ocaml
AtumT has quit [Ping timeout: 268 seconds]
toppler has quit [Read error: Connection reset by peer]
toppler has joined #ocaml
toppler has quit [Read error: Connection reset by peer]
toppler has joined #ocaml
toppler has quit [Read error: Connection reset by peer]
toppler has joined #ocaml
AtumT_ has quit [Ping timeout: 240 seconds]
AtumT has joined #ocaml
toppler has quit [Read error: Connection reset by peer]
toppler has joined #ocaml
toppler has quit [Read error: Connection reset by peer]
toppler has joined #ocaml
toppler has quit [Read error: Connection reset by peer]
toppler has joined #ocaml
jnavila has joined #ocaml
toppler has quit [Read error: Connection reset by peer]
toppler has joined #ocaml
toppler has quit [Read error: Connection reset by peer]
toppler has joined #ocaml
toppler has quit [Read error: Connection reset by peer]
toppler has joined #ocaml
toppler has quit [Read error: Connection reset by peer]
toppler has joined #ocaml
orbifx1 has joined #ocaml
KeyJoo has joined #ocaml
jnavila has quit [Ping timeout: 246 seconds]
narimiran has joined #ocaml
toppler has quit [Read error: Connection reset by peer]
toppler has joined #ocaml
toppler has quit [Read error: Connection reset by peer]
toppler has joined #ocaml
toppler has quit [Read error: Connection reset by peer]
toppler has joined #ocaml
toppler has quit [Read error: Connection reset by peer]
toppler has joined #ocaml
toppler has quit [Read error: Connection reset by peer]
toppler has joined #ocaml
toppler has quit [Read error: Connection reset by peer]
toppler has joined #ocaml
toppler has quit [Read error: Connection reset by peer]
toppler has joined #ocaml
toppler has quit [Read error: Connection reset by peer]
toppler has joined #ocaml
toppler has quit [Read error: Connection reset by peer]
toppler has joined #ocaml
toppler has quit [Read error: Connection reset by peer]
toppler has joined #ocaml
FreeBirdLjj has joined #ocaml
toppler has quit [Read error: Connection reset by peer]
toppler has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 240 seconds]
toppler has quit [Read error: Connection reset by peer]
toppler has joined #ocaml
toppler has quit [Read error: Connection reset by peer]
toppler has joined #ocaml
toppler has quit [Read error: Connection reset by peer]
toppler has joined #ocaml
toppler has quit [Remote host closed the connection]
toppler has joined #ocaml
toppler has quit [Read error: Connection reset by peer]
toppler has joined #ocaml
kleisli has joined #ocaml
toppler has quit [Read error: Connection reset by peer]
toppler has joined #ocaml
<Armael> but metamath proofs are super low level, aren't they?
toppler has quit [Read error: Connection reset by peer]
toppler has joined #ocaml
kjak has joined #ocaml
toppler has quit [Read error: Connection reset by peer]
toppler has joined #ocaml
<Armael> I mean sure your assembler is going to process lines of assembly faster than your c++ compiler is going to process lines of c++
toppler has quit [Read error: Connection reset by peer]
toppler has joined #ocaml
toppler has quit [Read error: Connection reset by peer]
kleisli has quit [Ping timeout: 268 seconds]
toppler has joined #ocaml
malc_ has joined #ocaml
analogue has joined #ocaml
Ekho- is now known as Ekho
toppler has quit [Read error: Connection reset by peer]
toppler has joined #ocaml
toppler has quit [Read error: Connection reset by peer]
toppler has joined #ocaml
kleisli has joined #ocaml
Hrundi_V_Bakshi has joined #ocaml
toppler has quit [Read error: Connection reset by peer]
toppler has joined #ocaml
toppler has quit [Read error: Connection reset by peer]
toppler has joined #ocaml
toppler has quit [Read error: Connection reset by peer]
toppler has joined #ocaml
toppler has quit [Read error: Connection reset by peer]
toppler has joined #ocaml
toppler has quit [Read error: Connection reset by peer]
toppler has joined #ocaml
<olle> simpson: impressive
toppler has quit [Read error: Connection reset by peer]
toppler has joined #ocaml
toppler has quit [Read error: Connection reset by peer]
toppler has joined #ocaml
toppler has quit [Read error: Connection reset by peer]
toppler has joined #ocaml
toppler has quit [Read error: Connection reset by peer]
toppler has joined #ocaml
toppler has quit [Read error: Connection reset by peer]
toppler has joined #ocaml
jao has joined #ocaml
jao is now known as Guest7083
<olle> Armael: how would you know_
<olle> ?
toppler has quit [Read error: Connection reset by peer]
toppler has joined #ocaml
Guest7083 has quit [Remote host closed the connection]
jao- has joined #ocaml
jao- is now known as jao
toppler has quit [Read error: Connection reset by peer]
toppler has joined #ocaml
toppler has quit [Read error: Connection reset by peer]
toppler has joined #ocaml
toppler has quit [Read error: Connection reset by peer]
toppler has joined #ocaml
toppler has quit [Read error: Connection reset by peer]
toppler has joined #ocaml
KeyJoo has quit [Read error: Connection reset by peer]
KeyJoo has joined #ocaml
toppler has quit [Read error: Connection reset by peer]
toppler has joined #ocaml
kleisli has quit [Ping timeout: 240 seconds]
jnavila has joined #ocaml
toppler has quit [Read error: Connection reset by peer]
toppler has joined #ocaml
toppler has quit [Ping timeout: 240 seconds]
toppler has joined #ocaml
orbifx1 has quit [Ping timeout: 268 seconds]
toppler has quit [Read error: Connection reset by peer]
toppler has joined #ocaml
toppler has quit [Read error: Connection reset by peer]
toppler has joined #ocaml
toppler has quit [Read error: Connection reset by peer]
toppler has joined #ocaml
toppler has quit [Read error: Connection reset by peer]
toppler has joined #ocaml
toppler has quit [Read error: Connection reset by peer]
toppler has joined #ocaml
toppler has quit [Read error: Connection reset by peer]
toppler has joined #ocaml
toppler has quit [Read error: Connection reset by peer]
toppler has joined #ocaml
toppler has quit [Read error: Connection reset by peer]
toppler has joined #ocaml
toppler has quit [Read error: Connection reset by peer]
toppler has joined #ocaml
toppler has quit [Read error: Connection reset by peer]
toppler has joined #ocaml
toppler has quit [Read error: Connection reset by peer]
toppler has joined #ocaml
toppler has quit [Read error: Connection reset by peer]
toppler has joined #ocaml
narimiran has quit [Ping timeout: 240 seconds]
toppler has quit [Read error: Connection reset by peer]
toppler has joined #ocaml
toppler has quit [Read error: Connection reset by peer]
toppler has joined #ocaml
KeyJoo has quit [Quit: KeyJoo]
toppler has quit [Read error: Connection reset by peer]
toppler has joined #ocaml
gravicappa has quit [Ping timeout: 246 seconds]
ggole has quit [Quit: Leaving]
toppler has quit [Read error: Connection reset by peer]
toppler has joined #ocaml
toppler has quit [Read error: Connection reset by peer]
toppler has joined #ocaml
toppler has quit [Read error: Connection reset by peer]
toppler has joined #ocaml
toppler has quit [Ping timeout: 250 seconds]
toppler has joined #ocaml
toppler has quit [Read error: Connection reset by peer]
toppler has joined #ocaml
kleisli has joined #ocaml
toppler has quit [Read error: Connection reset by peer]
toppler has joined #ocaml
toppler has quit [Read error: Connection reset by peer]
toppler has joined #ocaml
toppler has quit [Read error: Connection reset by peer]
toppler has joined #ocaml
toppler has quit [Read error: Connection reset by peer]
toppler has joined #ocaml
toppler has quit [Read error: Connection reset by peer]
toppler has joined #ocaml
toppler has quit [Read error: Connection reset by peer]
toppler has joined #ocaml
analogue has quit [Quit: Leaving]
toppler has quit [Read error: Connection reset by peer]
dhil has joined #ocaml
toppler has joined #ocaml
toppler has quit [Ping timeout: 240 seconds]
toppler has joined #ocaml
jnavila has quit [Ping timeout: 246 seconds]
toppler has quit [Read error: Connection reset by peer]
toppler has joined #ocaml
ravenousmoose has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
toppler has quit [Read error: Connection reset by peer]
toppler has joined #ocaml
toppler has quit [Ping timeout: 240 seconds]
toppler has joined #ocaml
toppler has quit [Read error: Connection reset by peer]
toppler has joined #ocaml
toppler has quit [Read error: Connection reset by peer]
toppler has joined #ocaml
toppler has quit [Read error: Connection reset by peer]
toppler has joined #ocaml
dhil has quit [Ping timeout: 250 seconds]
toppler has quit [Read error: Connection reset by peer]
toppler has joined #ocaml
ravenousmoose has joined #ocaml
toppler has quit [Read error: Connection reset by peer]
toppler has joined #ocaml
kleisli has quit [Ping timeout: 265 seconds]
ravenousmoose has quit [Ping timeout: 276 seconds]
toppler has quit [Read error: Connection reset by peer]
toppler has joined #ocaml
ravenousmoose has joined #ocaml
toppler has quit [Ping timeout: 265 seconds]
toppler has joined #ocaml
kvda has quit [Quit: Textual IRC Client: www.textualapp.com]
iovec has joined #ocaml
ravenousmoose has quit [Ping timeout: 250 seconds]
toppler has quit [Read error: Connection reset by peer]
toppler has joined #ocaml
toppler has quit [Read error: Connection reset by peer]
toppler has joined #ocaml
toppler has quit [Ping timeout: 240 seconds]
toppler has joined #ocaml
toppler has quit [Read error: Connection reset by peer]
ravenousmoose has joined #ocaml
toppler has joined #ocaml
malc_ has quit [Quit: ERC (IRC client for Emacs 27.0.50)]
toppler has quit [Read error: Connection reset by peer]
toppler has joined #ocaml
ravenousmoose has quit [Ping timeout: 264 seconds]
toppler has quit [Read error: Connection reset by peer]
toppler has joined #ocaml
toppler has quit [Read error: Connection reset by peer]
toppler has joined #ocaml
toppler has quit [Read error: Connection reset by peer]
toppler has joined #ocaml
toppler has quit [Read error: Connection reset by peer]
toppler has joined #ocaml
kakadu has quit [Remote host closed the connection]
toppler has quit [Read error: Connection reset by peer]
toppler has joined #ocaml
toppler has quit [Read error: Connection reset by peer]
toppler has joined #ocaml
toppler has quit [Read error: Connection reset by peer]
toppler has joined #ocaml
toppler has quit [Read error: Connection reset by peer]
toppler has joined #ocaml
toppler has quit [Read error: Connection reset by peer]
toppler has joined #ocaml
toppler has quit [Read error: Connection reset by peer]
toppler has joined #ocaml
toppler has quit [Ping timeout: 240 seconds]
toppler has joined #ocaml
toppler has quit [Ping timeout: 240 seconds]
toppler has joined #ocaml
toppler has quit [Read error: Connection reset by peer]
toppler has joined #ocaml
toppler has quit [Read error: Connection reset by peer]
toppler has joined #ocaml
ziyourenxiang_ has joined #ocaml
toppler has quit [Ping timeout: 240 seconds]
toppler has joined #ocaml
toppler has quit [Ping timeout: 240 seconds]
toppler has joined #ocaml
malina has joined #ocaml
toppler has quit [Ping timeout: 240 seconds]
toppler has joined #ocaml
malina has quit [Remote host closed the connection]
toppler has quit [Ping timeout: 250 seconds]
toppler has joined #ocaml
toppler has quit [Ping timeout: 265 seconds]
toppler has joined #ocaml