adrien changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org | OCaml 4.06.0 release notes: https://caml.inria.fr/pub/distrib/ocaml-4.06/notes/Changes | Try OCaml in your browser: http://try.ocamlpro.com | Public channel logs at http://irclog.whitequark.org/ocaml
zpe has quit [Remote host closed the connection]
zpe has joined #ocaml
zpe has quit [Ping timeout: 240 seconds]
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 240 seconds]
sh0t has quit [Remote host closed the connection]
isd has joined #ocaml
infinity0 has quit [Ping timeout: 276 seconds]
infinity0 has joined #ocaml
silver_ has joined #ocaml
silver has quit [Ping timeout: 240 seconds]
Haudegen has quit [Remote host closed the connection]
isd has quit [Ping timeout: 264 seconds]
breitenj has quit [Ping timeout: 246 seconds]
breitenj has joined #ocaml
isd has joined #ocaml
silver_ has quit [Read error: Connection reset by peer]
spew has joined #ocaml
pitastrudl has quit [Quit: No Ping reply in 300 seconds.]
pitastrudl has joined #ocaml
isd has quit [Quit: Leaving.]
al-damiri has quit [Quit: Connection closed for inactivity]
mfp has quit [Ping timeout: 240 seconds]
zolk3ri has quit [Remote host closed the connection]
ziyourenxiang has joined #ocaml
pierpa has joined #ocaml
etc_ has joined #ocaml
etc_ has quit [Quit: Lost terminal]
dtornabene has joined #ocaml
dtornabene has quit [Quit: Leaving]
dtornabene has joined #ocaml
spew has quit [Ping timeout: 240 seconds]
FreeBirdLjj has joined #ocaml
slash^ has joined #ocaml
muelleme has joined #ocaml
muelleme has quit [Ping timeout: 256 seconds]
_whitelogger has joined #ocaml
muelleme has joined #ocaml
tarptaeya has joined #ocaml
muelleme has quit [Ping timeout: 260 seconds]
argent_smith has joined #ocaml
malc_ has joined #ocaml
ShalokShalom has joined #ocaml
mfp has joined #ocaml
muelleme has joined #ocaml
dtornabene has quit [Remote host closed the connection]
malc_ has quit [Ping timeout: 264 seconds]
rpcope has quit [Ping timeout: 256 seconds]
rpcope has joined #ocaml
ddosia has quit [Quit: Connection closed for inactivity]
Haudegen has joined #ocaml
orbifx has joined #ocaml
orbifx has quit [Ping timeout: 240 seconds]
dhil has joined #ocaml
zolk3ri has joined #ocaml
tsani has quit [Ping timeout: 256 seconds]
alphor has quit [Ping timeout: 256 seconds]
cross has quit [Ping timeout: 256 seconds]
cross has joined #ocaml
alphor has joined #ocaml
tsani has joined #ocaml
mk9 has quit [Quit: mk9]
pierpa_ has joined #ocaml
pierpa has quit [Ping timeout: 260 seconds]
pierpa_ is now known as pierpa
FreeBirdLjj has quit [Remote host closed the connection]
pierpa has quit [Ping timeout: 260 seconds]
pierpa has joined #ocaml
muelleme has quit [Ping timeout: 260 seconds]
pierpa has quit [Ping timeout: 260 seconds]
FreeBirdLjj has joined #ocaml
pierpa has joined #ocaml
muelleme has joined #ocaml
er1 has quit [Ping timeout: 260 seconds]
larhat has joined #ocaml
er1 has joined #ocaml
larhat has quit [Client Quit]
pierpa_ has joined #ocaml
pierpa has quit [Ping timeout: 260 seconds]
pierpa_ is now known as pierpa
kalio has quit [Quit: WeeChat 2.0.1]
kalio has joined #ocaml
pierpa has quit [Ping timeout: 260 seconds]
sh0t has joined #ocaml
pierpa has joined #ocaml
er1 has quit [Read error: Connection reset by peer]
er1 has joined #ocaml
muelleme has quit [Ping timeout: 240 seconds]
muelleme has joined #ocaml
muelleme has quit [Ping timeout: 240 seconds]
er1 has quit [Read error: Connection reset by peer]
er1 has joined #ocaml
mk9 has joined #ocaml
mk9 has quit [Client Quit]
mk9 has joined #ocaml
troydm has quit [Quit: What is Hope? That all of your wishes and all of your dreams come true? To turn back time because things were not supposed to happen like that (C) Rau Le Creuset]
spew has joined #ocaml
muelleme has joined #ocaml
muelleme has quit [Ping timeout: 240 seconds]
sh0t has quit [Ping timeout: 240 seconds]
spew has quit [Ping timeout: 264 seconds]
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
zlsyx has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 256 seconds]
malc_ has joined #ocaml
ShalokShalom has quit [Ping timeout: 240 seconds]
jnavila has joined #ocaml
malc_ has quit [Quit: ERC (IRC client for Emacs 27.0.50)]
jnavila has quit [Ping timeout: 240 seconds]
spew has joined #ocaml
er1 has quit [Quit: Lost terminal]
sh0t has joined #ocaml
jnavila has joined #ocaml
troydm has joined #ocaml
jnavila has quit [Ping timeout: 240 seconds]
malc_ has joined #ocaml
spew has quit [Ping timeout: 240 seconds]
dhil has quit [Ping timeout: 256 seconds]
jnavila has joined #ocaml
malc_ has quit [Quit: ERC (IRC client for Emacs 27.0.50)]
malc_ has joined #ocaml
orbifx has joined #ocaml
iitalics has joined #ocaml
Haudegen has quit [Remote host closed the connection]
iitalics has quit [Client Quit]
iitalics has joined #ocaml
slash^ has quit [Quit: Leaving]
orbifx has quit [Ping timeout: 256 seconds]
pierpa_ has joined #ocaml
Haudegen has joined #ocaml
malc_ has left #ocaml ["ERC (IRC client for Emacs 27.0.50)"]
iitalics has quit [Ping timeout: 260 seconds]
mk9 has quit [Ping timeout: 240 seconds]
isd has joined #ocaml
mk9 has joined #ocaml
mk9 has quit [Quit: mk9]
gtrak has joined #ocaml
argent_smith has quit [Quit: Leaving.]
_whitelogger has joined #ocaml
muelleme has joined #ocaml
gtrak has quit [Ping timeout: 248 seconds]
malc_ has joined #ocaml
tarptaeya has quit [Quit: Byeeeeeee!]
jnavila has quit [Remote host closed the connection]
onion has quit [Read error: No route to host]
onion has joined #ocaml
gtrak has joined #ocaml
jimmyrcom has quit [Ping timeout: 264 seconds]
gtrak has quit [Ping timeout: 260 seconds]
<bartholin> do people use GADTs in ocaml for real
isd has quit [Ping timeout: 276 seconds]
<malc_> bartholin: all the time.. printf family is implemented with GADT
<bartholin> oh
isd has joined #ocaml
sh0t has quit [Remote host closed the connection]
muelleme has quit [Ping timeout: 276 seconds]
gtrak has joined #ocaml
iitalics has joined #ocaml
orbifx has joined #ocaml