#ocaml on 2022-11-26 — 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:03 Tuplanolla has quit [Quit: Leaving.]

00:09 nd__ has joined #ocaml

00:14 nd__ has quit [Ping timeout: 264 seconds]

00:31 spip has joined #ocaml

00:32 bobo has quit [Ping timeout: 264 seconds]

00:40 Haudegen has quit [Quit: No Ping reply in 180 seconds.]

00:41 Haudegen has joined #ocaml

01:46 ansiwen has joined #ocaml

01:51 xd1le has joined #ocaml

02:17 nd__ has joined #ocaml

02:21 perrierjouet has quit [Quit: WeeChat 3.7.1]

02:23 nd__ has quit [Ping timeout: 265 seconds]

02:30 perrierjouet has joined #ocaml

02:41 perrierjouet has quit [Quit: WeeChat 3.7.1]

02:44 perrierjouet has joined #ocaml

02:56 Stumpfenstiel has quit [Ping timeout: 260 seconds]

03:00 gentauro has quit [Read error: Connection reset by peer]

03:06 gentauro has joined #ocaml

03:14 waleee has quit [Ping timeout: 265 seconds]

03:15 chrisz has quit [Ping timeout: 268 seconds]

03:16 waleee has joined #ocaml

03:17 chrisz has joined #ocaml

03:18 rgrinberg has joined #ocaml

03:56 Haudegen has quit [Ping timeout: 260 seconds]

04:26 nd__ has joined #ocaml

04:32 nd__ has quit [Ping timeout: 264 seconds]

05:06 perrierjouet has quit [Quit: WeeChat 3.7.1]

05:09 zebrag has quit [Quit: Konversation terminated!]

05:22 perrierjouet has joined #ocaml

05:26 perrierjouet has quit [Client Quit]

05:34 jao has quit [Ping timeout: 264 seconds]

05:44 perrierjouet has joined #ocaml

05:47 perrierjouet has quit [Client Quit]

05:53 perrierjouet has joined #ocaml

06:33 azimut has quit [Ping timeout: 255 seconds]

06:35 nd__ has joined #ocaml

06:40 nd__ has quit [Ping timeout: 265 seconds]

06:55 waleee has quit [Ping timeout: 265 seconds]

07:22 nd__ has joined #ocaml

07:27 rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

07:28 nd__ has quit [Ping timeout: 265 seconds]

08:19 nd__ has joined #ocaml

08:23 mro has joined #ocaml

08:24 nd__ has quit [Ping timeout: 265 seconds]

08:46 mro has quit [Remote host closed the connection]

09:00 inkbottle[m] has quit [Quit: You have been kicked for being idle]

09:07 mro has joined #ocaml

09:14 darchitect has quit [Ping timeout: 264 seconds]

09:14 mro has quit [Remote host closed the connection]

09:15 darchitect has joined #ocaml

09:18 Tuplanolla has joined #ocaml

09:24 nd__ has joined #ocaml

09:28 nd__ has quit [Ping timeout: 265 seconds]

09:41 bartholin has joined #ocaml

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

10:05 dnh has joined #ocaml

10:12 dnh has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

10:19 nd__ has joined #ocaml

10:34 olle has joined #ocaml

10:36 dnh has joined #ocaml

11:12 mro has joined #ocaml

11:15 Serpent7776 has joined #ocaml

11:26 troydm has quit [Ping timeout: 265 seconds]

11:35 mro has quit [Remote host closed the connection]

11:50 Serpent7776 has quit [Read error: Connection reset by peer]

11:51 Serpent7776 has joined #ocaml

12:28 Haudegen has joined #ocaml

12:30 bobo has joined #ocaml

12:30 spip has quit [Ping timeout: 260 seconds]

12:51 troydm has joined #ocaml

13:03 azimut has joined #ocaml

13:03 random-jellyfish has joined #ocaml

13:21 troydm has quit [Ping timeout: 264 seconds]

13:27 hsw has quit [Quit: Leaving]

13:40 nd__ has quit [Ping timeout: 265 seconds]

13:50 darchitect has quit [Quit: WeeChat 3.6]

13:52 nd__ has joined #ocaml

13:55 xgqt has quit [Ping timeout: 265 seconds]

13:56 xgqt has joined #ocaml

13:57 nd__ has quit [Ping timeout: 264 seconds]

13:58 dnh has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

14:01 dnh has joined #ocaml

14:02 mro has joined #ocaml

14:06 random-jellyfish has quit [Quit: Client closed]

14:06 mro has quit [Ping timeout: 264 seconds]

14:06 dnh has quit [Ping timeout: 264 seconds]

14:09 mro has joined #ocaml

14:10 mro has quit [Read error: Connection reset by peer]

14:13 kurfen has quit [Read error: Connection reset by peer]

14:13 nd__ has joined #ocaml

14:14 kurfen has joined #ocaml

14:18 nd__ has quit [Ping timeout: 265 seconds]

14:37 nd__ has joined #ocaml

14:41 nd__ has quit [Ping timeout: 260 seconds]

14:43 rgrinberg has joined #ocaml

14:49 mro has joined #ocaml

14:51 nd__ has joined #ocaml

14:56 nd__ has quit [Ping timeout: 264 seconds]

15:03 random-jellyfish has joined #ocaml

15:03 wingsorc has joined #ocaml

15:06 mro has quit [Remote host closed the connection]

15:21 mro has joined #ocaml

15:32 nd__ has joined #ocaml

15:49 Stumpfenstiel has joined #ocaml

15:52 jao has joined #ocaml

16:18 gwizon has joined #ocaml

16:19 xenu has quit [Quit: leaving]

16:19 gwizon has quit [Client Quit]

16:19 gwizon has joined #ocaml

16:20 gwizon has quit [Client Quit]

16:20 zebrag has joined #ocaml

16:22 xenu has joined #ocaml

16:24 troydm has joined #ocaml

16:25 gwizon has joined #ocaml

16:25 gwizon has quit [Client Quit]

16:26 gwizon has joined #ocaml

16:26 gwizon has quit [Client Quit]

16:26 gwizon has joined #ocaml

16:26 gwizon has quit [Client Quit]

16:27 gwizon has joined #ocaml

16:32 nd__ has quit [Ping timeout: 260 seconds]

16:38 rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

16:42 nd__ has joined #ocaml

16:46 gwizon has quit [Quit: Lost terminal]

16:47 gwizon has joined #ocaml

16:47 nd__ has quit [Ping timeout: 264 seconds]

16:50 gwizon has quit [Client Quit]

16:55 nd__ has joined #ocaml

16:59 mro has quit [Remote host closed the connection]

17:01 nd__ has quit [Ping timeout: 260 seconds]

17:02 nd__ has joined #ocaml

17:07 nd__ has quit [Ping timeout: 265 seconds]

17:15 mro has joined #ocaml

17:20 xd1le has quit [Quit: xd1le]

17:20 mro has quit [Ping timeout: 260 seconds]

17:34 mro has joined #ocaml

17:46 azimut has quit [Remote host closed the connection]

17:47 azimut has joined #ocaml

17:47 mro has quit [Ping timeout: 260 seconds]

17:49 gordea has joined #ocaml

17:50 gordea has quit [Client Quit]

17:58 azimut has quit [Ping timeout: 255 seconds]

17:59 azimut has joined #ocaml

17:59 Serpent7776 has quit [Ping timeout: 260 seconds]

18:10 bartholin has joined #ocaml

18:16 gordea has joined #ocaml

18:17 mro has joined #ocaml

18:22 mro has quit [Ping timeout: 256 seconds]

18:37 mro has joined #ocaml

18:40 nd__ has joined #ocaml

18:45 nd__ has quit [Ping timeout: 265 seconds]

18:55 nd__ has joined #ocaml

18:59 nd__ has quit [Ping timeout: 260 seconds]

19:00 nd__ has joined #ocaml

19:01 mro has quit [Remote host closed the connection]

19:07 nd__ has quit [Ping timeout: 260 seconds]

19:16 random-jellyfish has quit [Quit: Client closed]

19:17 mro has joined #ocaml

20:03 mro has quit [Remote host closed the connection]

20:24 azimut has quit [Ping timeout: 255 seconds]

20:27 azimut has joined #ocaml

20:40 mro has joined #ocaml

20:56 mro has quit [Read error: Connection reset by peer]

20:56 mro_ has joined #ocaml

21:03 nd__ has joined #ocaml

21:11 nd__ has quit [Ping timeout: 264 seconds]

21:11 random-jellyfish has joined #ocaml

21:11 nd__ has joined #ocaml

21:17 nd__ has quit [Ping timeout: 264 seconds]

21:17 waleee has joined #ocaml

21:39 random-jellyfish has quit [Quit: Client closed]

22:11 azimut_ has joined #ocaml

22:12 azimut has quit [Ping timeout: 255 seconds]

22:20 nd__ has joined #ocaml

22:26 nd__ has quit [Ping timeout: 264 seconds]

22:41 azimut_ has quit [Ping timeout: 255 seconds]

22:42 azimut has joined #ocaml

23:02 azimut has quit [Remote host closed the connection]

23:03 azimut has joined #ocaml

23:19 olle has quit [Ping timeout: 265 seconds]

23:28 mro_ has quit [Remote host closed the connection]

23:30 mro has joined #ocaml

23:40 bartholin has quit [Quit: Leaving]