#ocaml on 2024-07-14 — irc logs at libera.irclog.whitequark.org

2024-05-29 14:49 companion_cube changed the topic of #ocaml to: Discussion about the OCaml programming language | http://www.ocaml.org | OCaml 5.2.0 released: https://ocaml.org/releases/5.2.0 | Try OCaml in your browser: https://try.ocamlpro.com | Public channel logs at https://libera.irclog.whitequark.org/ocaml/

00:06 czy has joined #ocaml

00:12 czy has quit [Ping timeout: 246 seconds]

00:25 czy has joined #ocaml

00:31 czy has quit [Ping timeout: 245 seconds]

00:38 czy has joined #ocaml

00:43 czy has quit [Ping timeout: 246 seconds]

00:49 czy has joined #ocaml

00:53 tremon has quit [Quit: getting boxed in]

00:55 czy has quit [Ping timeout: 265 seconds]

01:08 czy has joined #ocaml

01:11 alexherbo2 has quit [Remote host closed the connection]

01:13 czy has quit [Ping timeout: 265 seconds]

01:14 anpad has quit [Server closed connection]

01:16 anpad has joined #ocaml

01:17 waleee has quit [Ping timeout: 245 seconds]

01:44 czy has joined #ocaml

01:49 thizanne has quit [Server closed connection]

01:50 thizanne has joined #ocaml

01:57 czy has quit [Ping timeout: 258 seconds]

02:09 cr1901 has quit [Read error: Connection reset by peer]

02:09 czy has joined #ocaml

02:10 cr1901 has joined #ocaml

02:15 czy has quit [Ping timeout: 265 seconds]

02:27 czy has joined #ocaml

02:32 czy has quit [Ping timeout: 265 seconds]

02:32 pi3ce has quit [Quit: No Ping reply in 180 seconds.]

02:34 pi3ce has joined #ocaml

02:36 jabuxas has quit [Ping timeout: 258 seconds]

02:46 czy has joined #ocaml

02:56 czy has quit [Ping timeout: 265 seconds]

02:56 cr1901 has quit [Read error: Connection reset by peer]

03:05 cr1901 has joined #ocaml

03:09 czy has joined #ocaml

03:10 SquidDev has quit [Server closed connection]

03:10 SquidDev has joined #ocaml

03:15 czy has quit [Ping timeout: 264 seconds]

03:29 czy has joined #ocaml

03:30 reynir has quit [Server closed connection]

03:31 reynir has joined #ocaml

03:31 tomku has quit [Ping timeout: 245 seconds]

03:33 tomku has joined #ocaml

03:34 czy has quit [Ping timeout: 265 seconds]

03:48 czy has joined #ocaml

03:57 czy has quit [Ping timeout: 265 seconds]

04:07 pi3ce has quit [Ping timeout: 246 seconds]

04:28 JSharp has quit [Server closed connection]

04:28 JSharp has joined #ocaml

04:48 ns12 has quit [Server closed connection]

04:49 ns12 has joined #ocaml

04:50 toastal has joined #ocaml

05:09 czy has joined #ocaml

05:14 czy has quit [Ping timeout: 258 seconds]

06:07 Duns_Scrotus____ has quit [Server closed connection]

06:07 Duns_Scrotus____ has joined #ocaml

06:15 czy has joined #ocaml

06:21 czy has quit [Ping timeout: 246 seconds]

06:25 bibi_ has quit [Quit: Konversation terminated!]

06:50 toastal has quit [Quit: Gateway shutdown]

06:51 toastal has joined #ocaml

06:53 czy has joined #ocaml

06:59 czy has quit [Ping timeout: 258 seconds]

07:07 YuGiOhJCJ has joined #ocaml

07:11 czy has joined #ocaml

07:12 Serpent7776 has joined #ocaml

07:16 czy has quit [Ping timeout: 265 seconds]

07:30 czy has joined #ocaml

07:34 czy has quit [Quit: ERC 5.6 (IRC client for GNU Emacs 31.0.50)]

08:23 pgiarrusso has quit [Server closed connection]

08:23 pgiarrusso has joined #ocaml

08:37 pi3ce has joined #ocaml

08:37 caasih has quit [Server closed connection]

08:37 caasih has joined #ocaml

08:46 abbe__ has quit [Server closed connection]

08:47 abbe__ has joined #ocaml

09:04 palainp has quit [Changing host]

09:04 palainp has joined #ocaml

09:29 bartholin has joined #ocaml

10:22 pi3ce has quit [Quit: https://quassel-irc.org - Chat comfortably. Anywhere.]

10:24 tomku has quit [Ping timeout: 246 seconds]

10:24 alexherbo2 has joined #ocaml

10:25 pi3ce has joined #ocaml

10:26 tomku has joined #ocaml

10:30 pi3ce has quit [Ping timeout: 246 seconds]

10:31 pi3ce has joined #ocaml

10:40 bcksl has quit [Server closed connection]

10:44 bcksl has joined #ocaml

10:56 toastal has quit [Ping timeout: 245 seconds]

11:28 Tuplanolla has joined #ocaml

11:40 malc_ has joined #ocaml

11:40 malc_ is now known as malc

12:08 aljazmc has joined #ocaml

13:03 waleee has joined #ocaml

13:41 leah2 has quit [Ping timeout: 264 seconds]

13:44 alexherbo2 has quit [Remote host closed the connection]

13:44 alexherbo2 has joined #ocaml

13:54 pi3ce has quit [Quit: https://quassel-irc.org - Chat comfortably. Anywhere.]

13:57 waleee has quit [Ping timeout: 246 seconds]

14:00 leah2 has joined #ocaml

14:07 tomku has quit [Remote host closed the connection]

14:08 tomku has joined #ocaml

14:10 alexherbo2 has quit [Remote host closed the connection]

14:18 deadmarshal_ has quit [Server closed connection]

14:18 deadmarshal_ has joined #ocaml

14:23 leah2 has quit [Ping timeout: 264 seconds]

14:44 leah2 has joined #ocaml

14:48 jbowen has quit [Server closed connection]

14:48 jbowen has joined #ocaml

15:47 aljazmc has quit [Quit: Leaving]

15:48 tomku has quit [Ping timeout: 264 seconds]

15:50 YuGiOhJCJ has quit [Quit: YuGiOhJCJ]

15:59 tomku has joined #ocaml

16:07 Boarders_____ has quit [Server closed connection]

16:07 Boarders_____ has joined #ocaml

16:24 Serpent7776 has quit [Ping timeout: 265 seconds]

16:29 dhil has joined #ocaml

16:29 tomku has quit [Remote host closed the connection]

16:30 tomku has joined #ocaml

17:43 dstein64 has quit [Server closed connection]

17:43 dstein64 has joined #ocaml

17:58 richardhuxton has quit [Server closed connection]

17:58 richardhuxton has joined #ocaml

18:17 pluviaq has quit [Server closed connection]

18:17 pluviaq has joined #ocaml

18:27 leah2 has quit [Ping timeout: 245 seconds]

18:43 leah2 has joined #ocaml

18:51 malc has left #ocaml [ERC 5.6 (IRC client for GNU Emacs 30.0.50)]

19:08 leah2 has quit [Ping timeout: 245 seconds]

19:22 leah2 has joined #ocaml

20:12 dhil has quit [Ping timeout: 258 seconds]

21:47 Tuplanolla has quit [Quit: Leaving.]

22:12 bartholin has quit [Quit: Leaving]

23:50 masterbuilder has quit [Remote host closed the connection]