#ocaml on 2022-12-07 — 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:08 rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

00:09 spip has quit [Quit: Konversation terminated!]

00:13 Haudegen has quit [Ping timeout: 260 seconds]

00:20 rgrinberg has joined #ocaml

00:25 catties is now known as CatGPT

00:31 CatGPT is now known as catties

00:35 rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

00:38 rgrinberg has joined #ocaml

00:44 nd__ has joined #ocaml

00:49 nd__ has quit [Ping timeout: 268 seconds]

00:53 rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

01:16 quernd1 has joined #ocaml

01:17 quernd has quit [Ping timeout: 246 seconds]

01:17 quernd1 is now known as quernd

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

01:19 mjacob has joined #ocaml

01:34 troydm has quit [Ping timeout: 252 seconds]

01:56 nlocalhost has quit [Remote host closed the connection]

01:56 nlocalhost has joined #ocaml

01:59 sagax has joined #ocaml

02:09 jao has quit [Ping timeout: 248 seconds]

02:13 nd__ has joined #ocaml

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

02:17 azimut has joined #ocaml

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

03:36 troydm has joined #ocaml

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

03:52 gentauro has joined #ocaml

03:57 nlocalhost has quit [Remote host closed the connection]

03:57 nd__ has joined #ocaml

03:59 chrisz has quit [Ping timeout: 260 seconds]

04:01 chrisz has joined #ocaml

04:02 nlocalhost has joined #ocaml

04:02 nd__ has quit [Ping timeout: 268 seconds]

04:03 nlocalhost has quit [Remote host closed the connection]

04:03 nlocalhost has joined #ocaml

04:14 nlocalhost has quit [Remote host closed the connection]

04:23 nlocalhost has joined #ocaml

04:23 motherfsck has quit [Ping timeout: 260 seconds]

04:26 mbuf has joined #ocaml

04:33 nlocalhost has quit [Remote host closed the connection]

04:33 nlocalhost has joined #ocaml

04:39 motherfsck has joined #ocaml

04:57 waleee has quit [Ping timeout: 260 seconds]

05:02 nd__ has joined #ocaml

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

05:52 np has quit [Quit: bye]

05:53 nerdypepper has joined #ocaml

06:04 nd__ has joined #ocaml

06:09 nd__ has quit [Ping timeout: 268 seconds]

06:12 nd__ has joined #ocaml

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

06:23 nd__ has joined #ocaml

06:27 nd__ has quit [Ping timeout: 260 seconds]

06:30 trev has joined #ocaml

06:39 nd__ has joined #ocaml

06:44 nd__ has quit [Ping timeout: 268 seconds]

07:15 bgs has quit [Remote host closed the connection]

07:23 bartholin has joined #ocaml

07:44 mro has joined #ocaml

07:47 Serpent7776 has joined #ocaml

07:47 mro has quit [Remote host closed the connection]

07:47 mro has joined #ocaml

07:53 nd__ has joined #ocaml

08:19 Haudegen has joined #ocaml

08:40 bartholin has quit [Quit: Leaving]

08:59 xd1le has joined #ocaml

09:46 szkl has joined #ocaml

09:56 riverdc has quit [Quit: quitting]

09:58 GreaseMonkey has quit [Remote host closed the connection]

09:59 riverdc_ has joined #ocaml

09:59 greaser|q has joined #ocaml

10:00 mro has quit [Quit: Leaving...]

10:15 spip has joined #ocaml

10:30 troydm has quit [Ping timeout: 256 seconds]

11:03 bjourne has quit [Quit: Konversation terminated!]

12:22 bgs has joined #ocaml

12:42 Serpent7776 has quit [Ping timeout: 260 seconds]

12:43 Serpent7776 has joined #ocaml

12:50 olle has joined #ocaml

13:22 Haudegen has quit [Ping timeout: 255 seconds]

13:41 azimut has quit [Ping timeout: 255 seconds]

14:01 troydm has joined #ocaml

14:19 nd__ has quit [Ping timeout: 268 seconds]

14:32 nd__ has joined #ocaml

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

14:39 nd__ has joined #ocaml

16:15 tomku has quit [Ping timeout: 260 seconds]

16:16 mro has joined #ocaml

16:26 theblatt1 is now known as theblatte

16:29 kurfen has quit [Ping timeout: 256 seconds]

16:31 kurfen has joined #ocaml

16:33 olle has quit [Remote host closed the connection]

16:36 tomku has joined #ocaml

16:44 mro has quit [Quit: Leaving...]

17:16 bgs has quit [Remote host closed the connection]

17:23 Tuplanolla has joined #ocaml

17:42 jtm has quit [Ping timeout: 260 seconds]

17:47 bartholin has joined #ocaml

17:58 azimut has joined #ocaml

18:11 mbuf has quit [Quit: Leaving]

18:18 olle has joined #ocaml

18:21 omegatron has quit [Quit: Power is a curious thing. It can be contained, hidden, locked away, and yet it always breaks free.]

18:22 jtm has joined #ocaml

19:05 gwizon has joined #ocaml

19:31 troydm has quit [Ping timeout: 252 seconds]

19:40 dnh has joined #ocaml

20:12 trev has quit [Remote host closed the connection]

20:54 waleee has joined #ocaml

21:41 greaser|q has quit [Changing host]

21:41 greaser|q has joined #ocaml

21:41 greaser|q is now known as GreaseMonkey

21:53 gwizon has quit [Remote host closed the connection]

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

22:18 mro has joined #ocaml

22:21 nd__ has quit [Ping timeout: 256 seconds]

22:26 troydm has joined #ocaml

22:28 nd__ has joined #ocaml

22:34 nd__ has quit [Ping timeout: 252 seconds]

22:41 bartholin has quit [Quit: Leaving]

22:43 mro has quit [Quit: Leaving...]

22:50 Tuplanolla has quit [Quit: Leaving.]

23:03 olle has quit [Ping timeout: 268 seconds]

23:30 nd__ has joined #ocaml

23:33 spip has quit [Quit: Konversation terminated!]

23:34 Haudegen has joined #ocaml

23:35 nd__ has quit [Ping timeout: 264 seconds]

23:45 Stumpfenstiel has joined #ocaml

23:50 nd__ has joined #ocaml

23:55 nd__ has quit [Ping timeout: 256 seconds]