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

00:04 wonko has quit [Ping timeout: 250 seconds]

00:04 Soni has quit [Ping timeout: 248 seconds]

00:05 wingsorc__ has quit [Quit: Leaving]

00:08 wingsorc has joined #ocaml

00:15 xd1le has joined #ocaml

00:17 rgrinberg has joined #ocaml

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

00:24 rgrinberg has joined #ocaml

01:04 rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

01:05 rgrinberg has joined #ocaml

01:30 waleee has quit [Ping timeout: 272 seconds]

01:41 John_Ivan_ has quit [Ping timeout: 276 seconds]

01:43 jao has quit [Remote host closed the connection]

01:48 jao has joined #ocaml

01:57 ski has quit [Remote host closed the connection]

01:57 rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

02:45 chrisz has quit [Ping timeout: 272 seconds]

02:46 chrisz has joined #ocaml

02:47 hackinghorn is now known as hacking-haunt

02:49 terrorjack has quit [Quit: The Lounge - https://thelounge.chat]

02:51 terrorjack has joined #ocaml

02:58 Soni has joined #ocaml

03:40 spip has quit [Quit: Konversation terminated!]

03:43 spip has joined #ocaml

04:06 companion_cube has quit [Quit: WeeChat 3.6]

04:06 ocabot has quit [Remote host closed the connection]

04:07 ocabot has joined #ocaml

04:07 companion_cube has joined #ocaml

04:09 adanwan has quit [Remote host closed the connection]

04:09 xd1le has quit [Quit: xd1le]

04:10 adanwan has joined #ocaml

04:17 adanwan has quit [Remote host closed the connection]

04:18 adanwan has joined #ocaml

04:53 Haudegen has joined #ocaml

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

05:06 azimut has quit [Ping timeout: 258 seconds]

05:13 bgs has joined #ocaml

05:59 bgs has quit [Remote host closed the connection]

06:29 jao has quit [Ping timeout: 276 seconds]

06:46 Serpent7776 has joined #ocaml

07:07 bartholin has joined #ocaml

07:08 olle has joined #ocaml

07:12 random-jellyfish has joined #ocaml

07:26 xd1le has joined #ocaml

07:29 mro has joined #ocaml

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

08:03 mro has joined #ocaml

08:15 troydm has quit [Ping timeout: 250 seconds]

08:28 mro has quit [Quit: Leaving...]

08:55 wingsorc has quit [Ping timeout: 276 seconds]

08:57 random-jellyfish has quit [Quit: Client closed]

08:58 olle has quit [Ping timeout: 260 seconds]

09:29 olle has joined #ocaml

09:33 wonko has joined #ocaml

09:33 jlrnick has joined #ocaml

09:52 bobo_ has joined #ocaml

09:52 spip has quit [Ping timeout: 272 seconds]

10:31 jlrnick has quit [Ping timeout: 272 seconds]

11:29 John_Ivan_ has joined #ocaml

11:40 random-jellyfish has joined #ocaml

11:59 hannes has joined #ocaml

12:05 wonko has quit [Ping timeout: 272 seconds]

12:06 Haudegen has quit [Quit: Bin weg.]

12:40 jlrnick has joined #ocaml

12:45 azimut has joined #ocaml

13:03 rgrinberg has joined #ocaml

13:06 waleee has joined #ocaml

13:12 waleee has quit [Ping timeout: 276 seconds]

13:13 Haudegen has joined #ocaml

13:18 waleee has joined #ocaml

13:24 waleee has quit [Ping timeout: 272 seconds]

13:40 waleee has joined #ocaml

13:45 random-jellyfish has quit [Ping timeout: 244 seconds]

13:53 jlrnick has quit [Ping timeout: 276 seconds]

14:17 xd1le has quit [Quit: xd1le]

14:26 rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

14:31 rgrinberg has joined #ocaml

14:38 jao has joined #ocaml

14:41 mro has joined #ocaml

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

14:48 troydm has joined #ocaml

15:13 motherfsck has quit [Ping timeout: 276 seconds]

15:18 mro has joined #ocaml

15:19 Everything has joined #ocaml

15:30 motherfsck has joined #ocaml

15:32 Tuplanolla has joined #ocaml

15:49 perrierjouet has quit [Quit: WeeChat 3.7]

15:49 perrierjouet has joined #ocaml

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

15:51 mro has joined #ocaml

15:51 wonko has joined #ocaml

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

15:54 gwizon has joined #ocaml

16:05 Haudegen has quit [Quit: Bin weg.]

16:07 bgs has joined #ocaml

16:25 jlrnick has joined #ocaml

16:31 mro has joined #ocaml

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

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

16:36 wonko has quit [Ping timeout: 276 seconds]

16:37 mro has joined #ocaml

16:44 mclovin has quit [Quit: Bridge terminating on SIGTERM]

16:44 lobo[m] has quit [Quit: Bridge terminating on SIGTERM]

16:44 chroma[m] has quit [Quit: Bridge terminating on SIGTERM]

16:44 OCamlPro[m] has quit [Quit: Bridge terminating on SIGTERM]

16:44 pqwy[m] has quit [Quit: Bridge terminating on SIGTERM]

16:45 perrierjouet has quit [Quit: WeeChat 3.7.1]

16:50 mclovin has joined #ocaml

16:51 gwizon has quit [Ping timeout: 260 seconds]

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

16:58 Serpent7776 has quit [Quit: WeeChat 1.9.1]

17:01 perrierjouet has joined #ocaml

17:01 Serpent7776 has joined #ocaml

17:03 gwizon has joined #ocaml

17:05 pqwy[m] has joined #ocaml

17:05 lobo[m] has joined #ocaml

17:05 OCamlPro[m] has joined #ocaml

17:05 chroma[m] has joined #ocaml

17:14 gwizon has quit [Read error: Connection reset by peer]

17:19 gwizon has joined #ocaml

17:20 Haudegen has joined #ocaml

17:26 gwizon has quit [Ping timeout: 260 seconds]

17:27 gwizon has joined #ocaml

17:34 zebrag has joined #ocaml

17:35 gentauro has quit [Read error: Connection reset by peer]

17:41 gentauro has joined #ocaml

18:08 perrierjouet has quit [Quit: WeeChat 3.7.1]

18:28 rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

18:32 perrierjouet has joined #ocaml

18:37 rgrinberg has joined #ocaml

18:39 barak has joined #ocaml

18:40 Everything has quit [Quit: leaving]

18:48 rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

18:50 barak has quit [Quit: WeeChat 3.7.1]

18:51 barak has joined #ocaml

18:53 barak has quit [Client Quit]

18:54 barak has joined #ocaml

18:58 gwizon has quit [Ping timeout: 272 seconds]

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

19:12 xgqt has joined #ocaml

19:22 ralu1 has quit [Quit: The Lounge - https://thelounge.chat]

19:26 barak has quit [Quit: WeeChat 3.7.1]

19:38 Stumpfenstiel has joined #ocaml

19:40 neiluj has joined #ocaml

19:41 <neiluj> Hi! has someone tried to render some latex formulas in their docs (with odoc)?

19:42 <sim642> I think there hasn't been a release of odoc since they added that

19:53 dextaa has joined #ocaml

20:09 <neiluj> sim642: thx, oh so it's added!

20:19 m5zs7k has quit [*.net *.split]

20:19 asm has quit [*.net *.split]

20:19 reynir has quit [*.net *.split]

20:19 adrien has quit [*.net *.split]

20:19 Menchers has quit [*.net *.split]

20:19 habnabit_ has quit [*.net *.split]

20:19 Myrl has quit [*.net *.split]

20:19 ohperitel has quit [*.net *.split]

20:19 adrien has joined #ocaml

20:19 ohperitel has joined #ocaml

20:19 asm has joined #ocaml

20:21 m5zs7k has joined #ocaml

20:21 Myrl has joined #ocaml

20:21 reynir has joined #ocaml

20:21 habnabit_ has joined #ocaml

20:22 Serpent7776 has quit [Ping timeout: 252 seconds]

20:28 Menchers has joined #ocaml

20:30 genpaku has quit [Remote host closed the connection]

20:32 genpaku has joined #ocaml

20:38 wonko has joined #ocaml

20:40 jlrnick has joined #ocaml

20:47 jlrnick has quit [Ping timeout: 246 seconds]

20:49 Stumpfenstiel has quit [Quit: No Ping reply in 180 seconds.]

20:51 olle has quit [Ping timeout: 276 seconds]

20:51 Stumpfenstiel has joined #ocaml

20:54 bgs has quit [Remote host closed the connection]

20:55 neiluj has quit [Quit: WeeChat 3.6]

20:58 wingsorc has joined #ocaml

21:03 perrierjouet has quit [Ping timeout: 260 seconds]

21:17 perrierjouet has joined #ocaml

21:33 wonko has quit [Read error: Connection reset by peer]

21:33 wonko has joined #ocaml

21:47 spip has joined #ocaml

21:47 bobo_ has quit [Ping timeout: 260 seconds]

21:48 bartholin has quit [Quit: Leaving]

22:03 rgrinberg has joined #ocaml

22:24 Stumpfenstiel has quit [Ping timeout: 272 seconds]

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

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

22:58 zebrag has joined #ocaml

23:06 Haudegen has quit [Ping timeout: 272 seconds]

23:16 oriba has joined #ocaml