#ocaml on 2021-02-07 — irc logs at freenode.irclog.whitequark.org

2020-09-11 13:16 companion_cube changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org | OCaml 4.11 release notes: https://caml.inria.fr/pub/distrib/ocaml-4.11/notes/Changes | Try OCaml in your browser: http://try.ocamlpro.com | Public channel logs at http://irclog.whitequark.org/ocaml

00:07 arecaceae has quit [Read error: Connection reset by peer]

00:07 arecaceae has joined #ocaml

00:10 richbridger has quit [Remote host closed the connection]

00:10 richbridger has joined #ocaml

00:12 mxns has quit [Ping timeout: 272 seconds]

00:24 mxns has joined #ocaml

00:29 mxns has quit [Ping timeout: 258 seconds]

00:47 zebrag has quit [Quit: Konversation terminated!]

00:47 zebrag has joined #ocaml

00:53 amiloradovsky has quit [Remote host closed the connection]

00:54 amiloradovsky has joined #ocaml

00:57 Tuplanolla has quit [Quit: Leaving.]

01:20 mxns has joined #ocaml

01:25 mxns has quit [Ping timeout: 272 seconds]

01:38 raver has joined #ocaml

01:38 mfp_ has quit [Ping timeout: 246 seconds]

01:49 mxns has joined #ocaml

01:58 rock64 has quit [Ping timeout: 240 seconds]

01:58 mxns has quit [Ping timeout: 265 seconds]

02:00 rock64 has joined #ocaml

02:01 mxns has joined #ocaml

02:02 oriba has quit [Quit: https://quassel-irc.org - Chat comfortably. Anywhere.]

02:04 zebrag has quit [Quit: Konversation terminated!]

02:07 Haudegen has quit [Ping timeout: 246 seconds]

02:09 mxns has quit [Ping timeout: 240 seconds]

02:15 mxns has joined #ocaml

02:29 mxns has quit [Ping timeout: 272 seconds]

02:40 mxns has joined #ocaml

02:46 aquijoule_ has joined #ocaml

02:49 richbridger has quit [Ping timeout: 265 seconds]

02:51 mxns has quit [Ping timeout: 240 seconds]

03:03 mxns has joined #ocaml

03:08 mxns has quit [Ping timeout: 272 seconds]

03:09 mxns has joined #ocaml

03:13 mxns has quit [Ping timeout: 264 seconds]

03:16 catt has joined #ocaml

03:40 mxns has joined #ocaml

03:45 mxns has quit [Ping timeout: 272 seconds]

03:46 amiloradovsky has quit [Remote host closed the connection]

03:46 amiloradovsky has joined #ocaml

04:47 amiloradovsky has quit [Remote host closed the connection]

04:47 amiloradovsky has joined #ocaml

05:07 steenuil has quit [Remote host closed the connection]

05:08 steenuil has joined #ocaml

05:16 amiloradovsky has quit [Remote host closed the connection]

05:17 amiloradovsky has joined #ocaml

05:28 djellemah has quit [Ping timeout: 258 seconds]

05:39 steenuil has quit [Remote host closed the connection]

05:39 steenuil has joined #ocaml

05:44 amiloradovsky has quit [Remote host closed the connection]

05:45 amiloradovsky has joined #ocaml

05:56 amiloradovsky has quit [Remote host closed the connection]

05:57 amiloradovsky has joined #ocaml

06:01 steenuil has quit [Read error: Connection reset by peer]

06:36 rople has quit [Quit: rople]

06:54 amiloradovsky has quit [Remote host closed the connection]

06:56 amiloradovsky has joined #ocaml

07:31 amiloradovsky has quit [Remote host closed the connection]

07:31 amiloradovsky has joined #ocaml

07:45 catt has quit [Ping timeout: 240 seconds]

08:10 waleee-cl has quit [Quit: Connection closed for inactivity]

09:00 amiloradovsky has quit [Ping timeout: 258 seconds]

09:11 Tuplanolla has joined #ocaml

09:20 bartholin has joined #ocaml

09:26 kini has quit [Remote host closed the connection]

09:27 kini has joined #ocaml

10:13 olle has joined #ocaml

10:14 vicfred has quit [Quit: Leaving]

10:17 tane has joined #ocaml

10:18 kini has quit [Remote host closed the connection]

10:20 gareppa has joined #ocaml

10:22 gareppa has quit [Remote host closed the connection]

10:22 kini has joined #ocaml

10:49 reynir has quit [Ping timeout: 246 seconds]

10:50 reynir has joined #ocaml

11:13 bartholin has quit [Ping timeout: 265 seconds]

11:22 mfp_ has joined #ocaml

11:25 bartholin has joined #ocaml

11:39 Haudegen has joined #ocaml

11:40 olle has quit [Ping timeout: 240 seconds]

12:07 zebrag has joined #ocaml

12:21 kini has quit [Remote host closed the connection]

12:22 kini has joined #ocaml

12:29 arecaceae has quit [Remote host closed the connection]

12:30 arecaceae has joined #ocaml

12:45 rdivyanshu has joined #ocaml

12:47 zebrag has quit [Quit: Konversation terminated!]

12:47 zebrag has joined #ocaml

12:52 zebrag has quit [Quit: Konversation terminated!]

12:55 zebrag has joined #ocaml

13:13 bartholin has quit [Ping timeout: 256 seconds]

13:26 bartholin has joined #ocaml

13:38 steenuil has joined #ocaml

13:47 zebrag has quit [Quit: Konversation terminated!]

13:47 zebrag has joined #ocaml

13:49 djellemah has joined #ocaml

14:11 vicfred has joined #ocaml

14:18 drdee has joined #ocaml

14:23 olle has joined #ocaml

14:39 amiloradovsky has joined #ocaml

14:44 drdee has quit [Quit: Leaving]

14:46 kini has quit [Remote host closed the connection]

14:47 kini has joined #ocaml

14:47 zebrag has quit [Quit: Konversation terminated!]

14:47 zebrag has joined #ocaml

14:55 olle has quit [Ping timeout: 240 seconds]

15:09 amiloradovsky has quit [Remote host closed the connection]

15:12 bartholin has quit [Ping timeout: 240 seconds]

15:12 amiloradovsky has joined #ocaml

15:13 amiloradovsky has quit [Client Quit]

15:14 amiloradovsky has joined #ocaml

15:14 amiloradovsky has quit [Client Quit]

15:15 amiloradovsky has joined #ocaml

15:15 amiloradovsky has quit [Client Quit]

15:16 amiloradovsky has joined #ocaml

15:17 amiloradovsky has quit [Client Quit]

15:17 amiloradovsky has joined #ocaml

15:19 amiloradovsky has quit [Client Quit]

15:19 amiloradovsky has joined #ocaml

15:20 amiloradovsky has quit [Client Quit]

15:20 amiloradovsky has joined #ocaml

15:22 amiloradovsky has quit [Client Quit]

15:22 amiloradovsky has joined #ocaml

15:23 amiloradovsky has quit [Client Quit]

15:24 amiloradovsky has joined #ocaml

15:25 amiloradovsky has quit [Client Quit]

15:26 amiloradovsky has joined #ocaml

15:26 bartholin has joined #ocaml

15:28 amiloradovsky has quit [Client Quit]

15:28 amiloradovsky has joined #ocaml

15:30 amiloradovsky has quit [Client Quit]

15:30 amiloradovsky has joined #ocaml

15:32 amiloradovsky has quit [Client Quit]

15:32 amiloradovsky has joined #ocaml

15:34 amiloradovsky has quit [Client Quit]

15:34 amiloradovsky has joined #ocaml

15:36 amiloradovsky has quit [Client Quit]

15:36 amiloradovsky has joined #ocaml

15:38 amiloradovsky has quit [Client Quit]

15:38 amiloradovsky has joined #ocaml

15:40 amiloradovsky has quit [Client Quit]

15:40 amiloradovsky has joined #ocaml

15:42 amiloradovsky has quit [Client Quit]

15:42 amiloradovsky has joined #ocaml

15:44 amiloradovsky has quit [Client Quit]

15:44 amiloradovsky has joined #ocaml

15:46 amiloradovsky has quit [Client Quit]

15:46 amiloradovsky has joined #ocaml

15:48 amiloradovsky has quit [Client Quit]

15:48 amiloradovsky has joined #ocaml

15:50 amiloradovsky has quit [Client Quit]

15:51 amiloradovsky has joined #ocaml

15:52 amiloradovsky has quit [Client Quit]

15:53 amiloradovsky has joined #ocaml

15:55 amiloradovsky has quit [Client Quit]

15:55 rdivyanshu has quit [Quit: Connection closed for inactivity]

15:55 amiloradovsky has joined #ocaml

15:57 amiloradovsky has quit [Client Quit]

15:57 amiloradovsky has joined #ocaml

15:59 amiloradovsky has quit [Client Quit]

15:59 amiloradovsky has joined #ocaml

16:01 amiloradovsky has quit [Client Quit]

16:01 amiloradovsky has joined #ocaml

16:03 amiloradovsky has quit [Client Quit]

16:03 amiloradovsky has joined #ocaml

16:05 amiloradovsky has quit [Client Quit]

16:05 amiloradovsky has joined #ocaml

16:07 amiloradovsky has quit [Client Quit]

16:07 amiloradovsky has joined #ocaml

16:09 amiloradovsky has quit [Client Quit]

16:09 amiloradovsky has joined #ocaml

16:11 amiloradovsky has quit [Client Quit]

16:11 amiloradovsky has joined #ocaml

16:13 amiloradovsky has quit [Client Quit]

16:13 amiloradovsky has joined #ocaml

16:15 amiloradovsky has quit [Client Quit]

16:16 amiloradovsky has joined #ocaml

16:16 ygrek has joined #ocaml

16:17 amiloradovsky has quit [Client Quit]

16:18 amiloradovsky has joined #ocaml

16:19 amiloradovsky has quit [Client Quit]

16:21 amiloradovsky has joined #ocaml

16:22 amiloradovsky has quit [Client Quit]

16:22 amiloradovsky has joined #ocaml

16:24 amiloradovsky has quit [Client Quit]

16:26 amiloradovsky has joined #ocaml

16:27 waleee-cl has joined #ocaml

16:28 amiloradovsky has quit [Client Quit]

16:28 amiloradovsky has joined #ocaml

16:30 amiloradovsky has quit [Client Quit]

16:30 amiloradovsky has joined #ocaml

16:32 amiloradovsky has quit [Client Quit]

16:32 amiloradovsky has joined #ocaml

16:34 amiloradovsky has quit [Client Quit]

16:34 amiloradovsky has joined #ocaml

16:36 amiloradovsky has quit [Client Quit]

16:36 amiloradovsky has joined #ocaml

16:38 amiloradovsky has quit [Client Quit]

16:38 amiloradovsky has joined #ocaml

16:40 amiloradovsky has quit [Client Quit]

16:40 amiloradovsky has joined #ocaml

16:42 amiloradovsky has quit [Client Quit]

16:42 amiloradovsky has joined #ocaml

16:44 amiloradovsky has quit [Client Quit]

16:45 amiloradovsky has joined #ocaml

16:46 amiloradovsky1 has joined #ocaml

16:46 amiloradovsky1 has quit [Client Quit]

16:49 amiloradovsky has quit [Read error: Connection reset by peer]

16:52 amiloradovsky has joined #ocaml

16:56 amiloradovsky has left #ocaml [#ocaml]

16:57 amiloradovsky has joined #ocaml

17:00 amiloradovsky has quit [Client Quit]

17:13 bartholin has quit [Ping timeout: 264 seconds]

17:26 bartholin has joined #ocaml

17:34 mxns has joined #ocaml

17:38 mxns has quit [Ping timeout: 260 seconds]

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

17:47 zebrag has joined #ocaml

18:41 arecaceae has quit [Remote host closed the connection]

18:42 arecaceae has joined #ocaml

19:12 bartholin has quit [Ping timeout: 240 seconds]

19:26 bartholin has joined #ocaml

20:27 jbrown has joined #ocaml

21:13 bartholin has quit [Ping timeout: 265 seconds]

21:26 bartholin has joined #ocaml

21:28 steenuil has quit [Read error: Connection reset by peer]

22:18 peterbb has joined #ocaml

22:19 peterbb has quit [Remote host closed the connection]

22:45 mxns has joined #ocaml

22:49 mxns has quit [Ping timeout: 246 seconds]

22:51 tane has quit [Quit: Leaving]

23:00 mxns has joined #ocaml

23:04 mxns has quit [Ping timeout: 258 seconds]

23:13 bartholin has quit [Ping timeout: 240 seconds]

23:26 bartholin has joined #ocaml

23:40 ygrek has quit [Remote host closed the connection]

23:40 ygrek has joined #ocaml

23:50 mxns has joined #ocaml

23:56 steenuil has joined #ocaml