#ocaml on 2022-09-04 — irc logs at libera.irclog.whitequark.org

2022-03-30 13:11 companion_cube changed the topic of #ocaml to: Discussion about the OCaml programming language | http://www.ocaml.org | OCaml 4.14.0 released: https://ocaml.org/releases/4.14.0.html | Try OCaml in your browser: https://try.ocamlpro.com | Public channel logs at https://libera.irclog.whitequark.org/ocaml/

00:48 Haudegen has quit [Ping timeout: 252 seconds]

01:09 oriba has quit [Ping timeout: 264 seconds]

01:10 mmfds has joined #ocaml

01:11 mmfds has quit [Client Quit]

01:27 williewi` has joined #ocaml

01:36 waleee has quit [Ping timeout: 268 seconds]

01:59 John_Ivan has quit [Ping timeout: 244 seconds]

02:48 chrisz has quit [Ping timeout: 248 seconds]

02:49 chrisz has joined #ocaml

03:21 tizoc has quit [Quit: Coyote finally caught me]

03:27 tizoc has joined #ocaml

04:48 zebrag has quit [Read error: Connection reset by peer]

04:49 zebrag has joined #ocaml

05:02 haesbaert has quit [*.net *.split]

05:02 pieguy128 has quit [*.net *.split]

05:02 Soni has quit [*.net *.split]

05:02 wagle has quit [*.net *.split]

05:02 noddy has quit [*.net *.split]

05:02 dian has quit [*.net *.split]

05:02 SquidDev has quit [*.net *.split]

05:02 gahr has quit [*.net *.split]

05:02 micro has quit [*.net *.split]

05:02 rom1504 has quit [*.net *.split]

05:02 thizanne has quit [*.net *.split]

05:02 tristanC has quit [*.net *.split]

05:02 megeve has quit [*.net *.split]

05:02 lisq has quit [*.net *.split]

05:02 amk has quit [*.net *.split]

05:02 thermo has quit [*.net *.split]

05:02 adanwan has quit [*.net *.split]

05:02 rwmjones has quit [*.net *.split]

05:02 jpds has quit [*.net *.split]

05:02 bitblit has quit [*.net *.split]

05:02 nerdypepper has quit [*.net *.split]

05:02 kurfen has quit [*.net *.split]

05:02 bacam has quit [*.net *.split]

05:02 notnotdan has quit [*.net *.split]

05:02 CalimeroTeknik has quit [*.net *.split]

05:02 afrosenp1i has quit [*.net *.split]

05:02 jtm has quit [*.net *.split]

05:02 quernd has quit [*.net *.split]

05:02 bronsen has quit [*.net *.split]

05:02 mjacob has quit [*.net *.split]

05:02 Myrl has quit [*.net *.split]

05:02 troydm has quit [*.net *.split]

05:02 Techcable has quit [*.net *.split]

05:02 ralu1 has quit [*.net *.split]

05:02 Absalom has quit [*.net *.split]

05:02 ohperitel has quit [*.net *.split]

05:02 vsiles has quit [*.net *.split]

05:02 xenu has quit [*.net *.split]

05:02 JSharp has quit [*.net *.split]

05:02 jmiven has quit [*.net *.split]

05:02 dr_fardale has quit [*.net *.split]

05:02 gdd1 has quit [*.net *.split]

05:02 grobe0ba has quit [*.net *.split]

05:03 asm has quit [*.net *.split]

05:03 rak has quit [*.net *.split]

05:03 nfc has quit [*.net *.split]

05:03 nore has quit [*.net *.split]

05:03 jackhill has quit [*.net *.split]

05:03 slothby has quit [*.net *.split]

05:03 tizoc has quit [*.net *.split]

05:03 chrisz has quit [*.net *.split]

05:03 gentauro has quit [*.net *.split]

05:03 xgqt has quit [*.net *.split]

05:03 x88x88x has quit [*.net *.split]

05:03 cross_ has quit [*.net *.split]

05:03 dh` has quit [*.net *.split]

05:03 drewolson has quit [*.net *.split]

05:03 dwt_ has quit [*.net *.split]

05:03 justache has quit [*.net *.split]

05:03 dstein64 has quit [*.net *.split]

05:03 jonasbits has quit [*.net *.split]

05:03 jsoo has quit [*.net *.split]

05:03 ocabot has quit [*.net *.split]

05:03 companion_cube has quit [*.net *.split]

05:03 Putonlalla has quit [*.net *.split]

05:03 zebrag has quit [*.net *.split]

05:03 genpaku has quit [*.net *.split]

05:03 noonien has quit [*.net *.split]

05:03 andreypopp has quit [*.net *.split]

05:03 hannes has quit [*.net *.split]

05:03 ns12 has quit [*.net *.split]

05:03 greenbagels has quit [*.net *.split]

05:03 Geekingfrog has quit [*.net *.split]

05:03 energizer has quit [*.net *.split]

05:03 pippijn has quit [*.net *.split]

05:03 adrien has quit [*.net *.split]

05:03 johnel has quit [*.net *.split]

05:03 Leonidas has quit [*.net *.split]

05:03 hexology has quit [*.net *.split]

05:03 qwr has quit [*.net *.split]

05:03 daimrod1 has quit [*.net *.split]

05:03 motherfsck has quit [*.net *.split]

05:03 mclovin has quit [*.net *.split]

05:03 klu has quit [*.net *.split]

05:03 Johann has quit [*.net *.split]

05:03 kandu_ has quit [*.net *.split]

05:03 conjunctive has quit [*.net *.split]

05:03 emp_ has quit [*.net *.split]

05:03 towel_ has quit [*.net *.split]

05:03 mal`` has quit [*.net *.split]

05:03 ebb has quit [*.net *.split]

05:03 cbarrett has quit [*.net *.split]

05:03 drakonis has quit [*.net *.split]

05:03 ente` has quit [*.net *.split]

05:03 welterde has quit [*.net *.split]

05:03 sim642 has quit [*.net *.split]

05:03 Boarders___ has quit [*.net *.split]

05:03 dinosaure has quit [*.net *.split]

05:03 wingsorc has quit [*.net *.split]

05:03 v0idpwn_ has quit [*.net *.split]

05:03 terrorjack has quit [*.net *.split]

05:03 Exa has quit [*.net *.split]

05:03 Armael has quit [*.net *.split]

05:03 dmbaturin has quit [*.net *.split]

05:03 rks` has quit [*.net *.split]

05:03 omni has quit [*.net *.split]

05:03 ks_ has quit [*.net *.split]

05:03 copy has quit [*.net *.split]

05:03 hackinghorn has quit [*.net *.split]

05:03 copy has joined #ocaml

05:03 hackinghorn has joined #ocaml

05:03 ks_ has joined #ocaml

05:03 omni has joined #ocaml

05:03 dinosaure has joined #ocaml

05:03 ebb has joined #ocaml

05:03 hexology has joined #ocaml

05:03 rks` has joined #ocaml

05:03 mal`` has joined #ocaml

05:03 Leonidas has joined #ocaml

05:03 qwr has joined #ocaml

05:03 adrien has joined #ocaml

05:03 johnel has joined #ocaml

05:03 dmbaturin has joined #ocaml

05:03 pippijn has joined #ocaml

05:03 Armael has joined #ocaml

05:03 energizer has joined #ocaml

05:03 greenbagels has joined #ocaml

05:03 sim642 has joined #ocaml

05:03 slothby has joined #ocaml

05:03 Geekingfrog has joined #ocaml

05:03 jackhill has joined #ocaml

05:03 nore has joined #ocaml

05:03 emp_ has joined #ocaml

05:03 towel_ has joined #ocaml

05:03 nfc has joined #ocaml

05:03 kandu_ has joined #ocaml

05:03 Johann has joined #ocaml

05:03 rak has joined #ocaml

05:03 asm has joined #ocaml

05:03 conjunctive has joined #ocaml

05:03 Exa has joined #ocaml

05:03 welterde has joined #ocaml

05:03 ente` has joined #ocaml

05:03 afrosenp1i has joined #ocaml

05:03 Boarders___ has joined #ocaml

05:03 gdd1 has joined #ocaml

05:03 drakonis has joined #ocaml

05:03 dr_fardale has joined #ocaml

05:03 ohperitel has joined #ocaml

05:03 Absalom has joined #ocaml

05:03 grobe0ba has joined #ocaml

05:03 Techcable has joined #ocaml

05:03 ralu1 has joined #ocaml

05:03 Myrl has joined #ocaml

05:03 mjacob has joined #ocaml

05:03 klu has joined #ocaml

05:03 bronsen has joined #ocaml

05:03 troydm has joined #ocaml

05:03 ns12 has joined #ocaml

05:03 quernd has joined #ocaml

05:03 jtm has joined #ocaml

05:03 notnotdan has joined #ocaml

05:03 bacam has joined #ocaml

05:03 CalimeroTeknik has joined #ocaml

05:03 kurfen has joined #ocaml

05:03 companion_cube has joined #ocaml

05:03 Putonlalla has joined #ocaml

05:03 ocabot has joined #ocaml

05:03 jmiven has joined #ocaml

05:03 nerdypepper has joined #ocaml

05:03 jsoo has joined #ocaml

05:03 dh` has joined #ocaml

05:03 jonasbits has joined #ocaml

05:03 dstein64 has joined #ocaml

05:03 noddy has joined #ocaml

05:03 Soni has joined #ocaml

05:03 micro has joined #ocaml

05:03 rom1504 has joined #ocaml

05:03 tristanC has joined #ocaml

05:03 thizanne has joined #ocaml

05:03 lisq has joined #ocaml

05:03 megeve has joined #ocaml

05:03 amk has joined #ocaml

05:03 rwmjones has joined #ocaml

05:03 thermo has joined #ocaml

05:03 justache has joined #ocaml

05:03 pieguy128 has joined #ocaml

05:03 mclovin has joined #ocaml

05:03 haesbaert has joined #ocaml

05:03 bitblit has joined #ocaml

05:03 terrorjack has joined #ocaml

05:03 andreypopp has joined #ocaml

05:03 noonien has joined #ocaml

05:03 hannes has joined #ocaml

05:03 cbarrett has joined #ocaml

05:03 JSharp has joined #ocaml

05:03 dwt_ has joined #ocaml

05:03 genpaku has joined #ocaml

05:03 v0idpwn_ has joined #ocaml

05:03 cross_ has joined #ocaml

05:03 drewolson has joined #ocaml

05:03 x88x88x has joined #ocaml

05:03 gentauro has joined #ocaml

05:03 xgqt has joined #ocaml

05:03 jpds has joined #ocaml

05:03 motherfsck has joined #ocaml

05:03 xenu has joined #ocaml

05:03 vsiles has joined #ocaml

05:03 adanwan has joined #ocaml

05:03 daimrod1 has joined #ocaml

05:03 wingsorc has joined #ocaml

05:03 chrisz has joined #ocaml

05:03 tizoc has joined #ocaml

05:03 zebrag has joined #ocaml

05:03 gahr has joined #ocaml

05:03 SquidDev has joined #ocaml

05:03 dian has joined #ocaml

05:03 wagle has joined #ocaml

05:03 farn has quit [Max SendQ exceeded]

05:04 farn has joined #ocaml

05:06 adanwan has quit [*.net *.split]

05:06 jpds has quit [*.net *.split]

05:06 jpds has joined #ocaml

05:06 adanwan has joined #ocaml

05:06 haesbaert has quit [*.net *.split]

05:06 pieguy128 has quit [*.net *.split]

05:06 wagle has quit [*.net *.split]

05:06 noddy has quit [*.net *.split]

05:06 Soni has quit [*.net *.split]

05:06 dian has quit [*.net *.split]

05:06 SquidDev has quit [*.net *.split]

05:06 gahr has quit [*.net *.split]

05:06 micro has quit [*.net *.split]

05:06 rom1504 has quit [*.net *.split]

05:06 thizanne has quit [*.net *.split]

05:06 tristanC has quit [*.net *.split]

05:06 lisq has quit [*.net *.split]

05:06 megeve has quit [*.net *.split]

05:06 amk has quit [*.net *.split]

05:06 thermo has quit [*.net *.split]

05:06 rwmjones has quit [*.net *.split]

05:06 adanwan has quit [*.net *.split]

05:06 jpds has quit [*.net *.split]

05:06 adanwan has joined #ocaml

05:06 jpds has joined #ocaml

05:07 pieguy128 has joined #ocaml

05:07 haesbaert has joined #ocaml

05:07 noddy has joined #ocaml

05:07 Soni has joined #ocaml

05:07 wagle has joined #ocaml

05:07 SquidDev has joined #ocaml

05:07 dian has joined #ocaml

05:07 lisq has joined #ocaml

05:07 tristanC has joined #ocaml

05:07 amk has joined #ocaml

05:07 megeve has joined #ocaml

05:07 micro has joined #ocaml

05:07 rom1504 has joined #ocaml

05:07 gahr has joined #ocaml

05:07 rwmjones has joined #ocaml

05:07 thizanne has joined #ocaml

05:07 thermo has joined #ocaml

05:07 bitblit has quit [*.net *.split]

05:07 nerdypepper has quit [*.net *.split]

05:07 kurfen has quit [*.net *.split]

05:07 CalimeroTeknik has quit [*.net *.split]

05:07 notnotdan has quit [*.net *.split]

05:07 bacam has quit [*.net *.split]

05:07 afrosenp1i has quit [*.net *.split]

05:07 jtm has quit [*.net *.split]

05:07 quernd has quit [*.net *.split]

05:07 bronsen has quit [*.net *.split]

05:08 troydm has quit [*.net *.split]

05:08 mjacob has quit [*.net *.split]

05:08 Myrl has quit [*.net *.split]

05:08 Techcable has quit [*.net *.split]

05:08 grobe0ba has quit [*.net *.split]

05:08 ralu1 has quit [*.net *.split]

05:08 Absalom has quit [*.net *.split]

05:08 ohperitel has quit [*.net *.split]

05:08 xenu has quit [*.net *.split]

05:08 JSharp has quit [*.net *.split]

05:08 vsiles has quit [*.net *.split]

05:08 jmiven has quit [*.net *.split]

05:08 dr_fardale has quit [*.net *.split]

05:08 gdd1 has quit [*.net *.split]

05:08 rak has quit [*.net *.split]

05:08 asm has quit [*.net *.split]

05:08 nfc has quit [*.net *.split]

05:08 nore has quit [*.net *.split]

05:08 jackhill has quit [*.net *.split]

05:08 slothby has quit [*.net *.split]

05:09 zebrag has quit [*.net *.split]

05:09 genpaku has quit [*.net *.split]

05:09 hannes has quit [*.net *.split]

05:09 noonien has quit [*.net *.split]

05:09 andreypopp has quit [*.net *.split]

05:09 ns12 has quit [*.net *.split]

05:09 Geekingfrog has quit [*.net *.split]

05:09 greenbagels has quit [*.net *.split]

05:09 energizer has quit [*.net *.split]

05:09 pippijn has quit [*.net *.split]

05:09 adrien has quit [*.net *.split]

05:09 johnel has quit [*.net *.split]

05:09 Leonidas has quit [*.net *.split]

05:09 qwr has quit [*.net *.split]

05:09 hexology has quit [*.net *.split]

05:10 daimrod1 has quit [*.net *.split]

05:10 motherfsck has quit [*.net *.split]

05:10 klu has quit [*.net *.split]

05:10 conjunctive has quit [*.net *.split]

05:10 Johann has quit [*.net *.split]

05:10 kandu_ has quit [*.net *.split]

05:10 mal`` has quit [*.net *.split]

05:10 towel_ has quit [*.net *.split]

05:10 emp_ has quit [*.net *.split]

05:10 ebb has quit [*.net *.split]

05:10 cbarrett has quit [*.net *.split]

05:10 mclovin has quit [*.net *.split]

05:10 drakonis has quit [*.net *.split]

05:10 welterde has quit [*.net *.split]

05:10 Boarders___ has quit [*.net *.split]

05:10 ente` has quit [*.net *.split]

05:10 sim642 has quit [*.net *.split]

05:10 dinosaure has quit [*.net *.split]

05:10 motherfsck has joined #ocaml

05:10 klu has joined #ocaml

05:10 conjunctive has joined #ocaml

05:10 daimrod1 has joined #ocaml

05:10 kandu_ has joined #ocaml

05:10 Johann has joined #ocaml

05:10 ebb has joined #ocaml

05:10 emp_ has joined #ocaml

05:10 towel_ has joined #ocaml

05:10 mal`` has joined #ocaml

05:10 drakonis has joined #ocaml

05:10 sim642 has joined #ocaml

05:10 Boarders___ has joined #ocaml

05:10 mclovin has joined #ocaml

05:10 welterde has joined #ocaml

05:10 cbarrett has joined #ocaml

05:10 ente` has joined #ocaml

05:10 dinosaure has joined #ocaml

05:10 wingsorc has quit [*.net *.split]

05:10 v0idpwn_ has quit [*.net *.split]

05:10 terrorjack has quit [*.net *.split]

05:10 Exa has quit [*.net *.split]

05:10 Armael has quit [*.net *.split]

05:10 dmbaturin has quit [*.net *.split]

05:10 hackinghorn has quit [*.net *.split]

05:10 rks` has quit [*.net *.split]

05:10 omni has quit [*.net *.split]

05:10 ks_ has quit [*.net *.split]

05:10 copy has quit [*.net *.split]

05:11 v0idpwn_ has joined #ocaml

05:11 terrorjack has joined #ocaml

05:11 dmbaturin has joined #ocaml

05:11 Exa has joined #ocaml

05:11 copy has joined #ocaml

05:11 omni has joined #ocaml

05:11 hackinghorn has joined #ocaml

05:11 rks` has joined #ocaml

05:11 Armael has joined #ocaml

05:11 ks_ has joined #ocaml

05:11 wingsorc has joined #ocaml

05:11 mclovin has quit [Ping timeout: 264 seconds]

05:12 grobe0ba has joined #ocaml

05:12 mjacob has joined #ocaml

05:12 troydm has joined #ocaml

05:12 Techcable has joined #ocaml

05:12 Myrl has joined #ocaml

05:12 ralu1 has joined #ocaml

05:12 Absalom has joined #ocaml

05:12 ohperitel has joined #ocaml

05:12 azimut has joined #ocaml

05:12 nerdypepper has joined #ocaml

05:12 notnotdan has joined #ocaml

05:12 kurfen has joined #ocaml

05:12 bacam has joined #ocaml

05:12 CalimeroTeknik has joined #ocaml

05:12 afrosenp1i has joined #ocaml

05:12 jtm has joined #ocaml

05:12 quernd has joined #ocaml

05:12 bronsen has joined #ocaml

05:13 jmiven has joined #ocaml

05:13 JSharp has joined #ocaml

05:13 nfc has joined #ocaml

05:13 rak has joined #ocaml

05:13 gdd1 has joined #ocaml

05:13 xenu has joined #ocaml

05:13 dr_fardale has joined #ocaml

05:13 slothby has joined #ocaml

05:13 jackhill has joined #ocaml

05:13 asm has joined #ocaml

05:13 vsiles has joined #ocaml

05:13 nore has joined #ocaml

05:13 gdd1 has quit [Max SendQ exceeded]

05:13 tizoc has quit [*.net *.split]

05:13 chrisz has quit [*.net *.split]

05:13 gentauro has quit [*.net *.split]

05:13 xgqt has quit [*.net *.split]

05:13 x88x88x has quit [*.net *.split]

05:13 cross_ has quit [*.net *.split]

05:13 drewolson has quit [*.net *.split]

05:13 dwt_ has quit [*.net *.split]

05:13 justache has quit [*.net *.split]

05:13 dstein64 has quit [*.net *.split]

05:13 jonasbits has quit [*.net *.split]

05:13 dh` has quit [*.net *.split]

05:13 jsoo has quit [*.net *.split]

05:13 ocabot has quit [*.net *.split]

05:13 companion_cube has quit [*.net *.split]

05:13 Putonlalla has quit [*.net *.split]

05:13 hexology- has joined #ocaml

05:13 zebrag has joined #ocaml

05:13 Geekingfrog has joined #ocaml

05:13 andreypopp has joined #ocaml

05:13 noonien has joined #ocaml

05:13 ns12 has joined #ocaml

05:13 genpaku has joined #ocaml

05:13 qwr has joined #ocaml

05:13 hannes has joined #ocaml

05:13 johnel has joined #ocaml

05:13 adrien has joined #ocaml

05:13 pippijn has joined #ocaml

05:13 Leonidas has joined #ocaml

05:13 greenbagels has joined #ocaml

05:13 energizer has joined #ocaml

05:13 hexology has joined #ocaml

05:13 noonien has quit [Max SendQ exceeded]

05:13 ns12 has quit [Max SendQ exceeded]

05:13 energizer has quit [Max SendQ exceeded]

05:13 hexology has quit [Max SendQ exceeded]

05:13 zebrag has quit [Max SendQ exceeded]

05:13 noonien has joined #ocaml

05:13 gdd1 has joined #ocaml

05:13 ns12 has joined #ocaml

05:14 cross_ has joined #ocaml

05:14 chrisz has joined #ocaml

05:14 tizoc has joined #ocaml

05:14 xgqt has joined #ocaml

05:14 gentauro has joined #ocaml

05:14 x88x88x has joined #ocaml

05:14 drewolson has joined #ocaml

05:14 justache has joined #ocaml

05:14 dwt_ has joined #ocaml

05:14 Putonlalla has joined #ocaml

05:14 dstein64 has joined #ocaml

05:14 dh` has joined #ocaml

05:14 jsoo has joined #ocaml

05:14 jonasbits has joined #ocaml

05:14 ocabot has joined #ocaml

05:14 companion_cube has joined #ocaml

05:15 energizer has joined #ocaml

05:35 mclovin has joined #ocaml

05:54 bitblit has joined #ocaml

06:01 mbuf has joined #ocaml

06:30 adanwan_ has joined #ocaml

06:30 adanwan has quit [Ping timeout: 258 seconds]

06:42 dh` has joined #ocaml

06:42 dh` has quit [Changing host]

06:59 williewi` has quit [Quit: ERC 5.4 (IRC client for GNU Emacs 28.1)]

07:01 Serpent7776 has joined #ocaml

07:16 quernd9 has joined #ocaml

07:18 quernd has quit [Ping timeout: 268 seconds]

07:18 quernd9 is now known as quernd

07:36 olle has joined #ocaml

07:52 dh` has quit [Ping timeout: 252 seconds]

08:03 adanwan_ has quit [Ping timeout: 258 seconds]

08:05 adanwan has joined #ocaml

08:09 wonko_ has joined #ocaml

08:10 adanwan has quit [Client Quit]

08:10 adanwan has joined #ocaml

08:11 adanwan has quit [Remote host closed the connection]

08:11 sagax has joined #ocaml

08:12 adanwan has joined #ocaml

08:15 Tuplanolla has joined #ocaml

09:04 bartholin has joined #ocaml

10:00 bobo_ has quit [Ping timeout: 244 seconds]

10:01 bobo_ has joined #ocaml

10:10 bartholin has quit [Ping timeout: 268 seconds]

10:21 bartholin has joined #ocaml

10:24 jonasbits has quit [Ping timeout: 252 seconds]

10:35 mima has joined #ocaml

11:11 Haudegen has joined #ocaml

11:22 wonko_ has quit [Ping timeout: 240 seconds]

11:23 mima has quit [Ping timeout: 264 seconds]

11:26 mima has joined #ocaml

12:05 jlrnick has joined #ocaml

12:09 bartholin has quit [Ping timeout: 264 seconds]

12:22 bartholin has joined #ocaml

12:54 jonasbits has joined #ocaml

13:01 spip has joined #ocaml

13:02 bobo_ has quit [Ping timeout: 260 seconds]

13:23 John_Ivan has joined #ocaml

13:24 jlrnick has quit [Killed (NickServ (GHOST command used by jlrnick-))]

13:41 waleee has joined #ocaml

14:09 bartholin has quit [Ping timeout: 260 seconds]

14:21 bartholin has joined #ocaml

15:11 Haudegen has quit [Read error: Connection reset by peer]

15:16 Haudegen has joined #ocaml

15:19 adanwan has quit [Remote host closed the connection]

15:20 adanwan has joined #ocaml

15:25 zebrag has joined #ocaml

16:02 jpds has quit [Remote host closed the connection]

16:02 jpds has joined #ocaml

16:10 bartholin has quit [Ping timeout: 268 seconds]

16:22 bartholin has joined #ocaml

17:02 dh` has joined #ocaml

17:02 dh` has quit [Changing host]

17:05 mbuf has quit [Quit: Leaving]

17:06 noonien has quit [Quit: The Lounge - https://thelounge.chat]

17:17 wonko_ has joined #ocaml

17:34 zebrag has quit [Quit: Konversation terminated!]

17:34 zebrag has joined #ocaml

17:47 noonien has joined #ocaml

18:06 xgqt has quit [Read error: Connection reset by peer]

18:09 bartholin has quit [Ping timeout: 260 seconds]

18:11 xgqt has joined #ocaml

18:21 bartholin has joined #ocaml

18:25 wonko_ has quit [Ping timeout: 268 seconds]

18:49 thermo has quit [Quit: leaving]

18:50 thermo has joined #ocaml

18:53 <lthms> GOSPEL on the frontpage of Lobsters

18:53 <lthms> nice

19:41 szkl has joined #ocaml

20:09 bartholin has quit [Ping timeout: 248 seconds]

20:22 bartholin has joined #ocaml

20:30 Serpent7776 has quit [Quit: Lost terminal]

21:00 azimut has quit [Ping timeout: 258 seconds]

21:56 olle has quit [Ping timeout: 260 seconds]

22:02 grobe0ba has quit [Quit: ZNC 1.8.2 - https://znc.in]

22:02 grobe0ba has joined #ocaml

22:09 bartholin has quit [Ping timeout: 248 seconds]

22:22 bartholin has joined #ocaml

22:42 Haudegen has quit [Ping timeout: 268 seconds]

22:48 Tuplanolla has quit [Ping timeout: 260 seconds]

22:48 bartholin has quit [Quit: Leaving]

23:11 mima has quit [Ping timeout: 252 seconds]

23:47 rgrinberg has joined #ocaml