#ocaml on 2021-12-28 — irc logs at libera.irclog.whitequark.org

2021-09-27 14:53 Leonidas changed the topic of #ocaml to: Discussion about the OCaml programming language | http://www.ocaml.org | OCaml 4.13.0 released: https://ocaml.org/releases/4.13.0.html | Try OCaml in your browser: https://try.ocamlpro.com | Public channel logs at https://libera.irclog.whitequark.org/ocaml/

00:36 Everything has quit [Quit: leaving]

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

01:47 kaph has joined #ocaml

02:07 rgrinberg has joined #ocaml

02:11 Haudegen has quit [Ping timeout: 256 seconds]

03:13 rgrinberg has quit [Remote host closed the connection]

03:14 rgrinberg has joined #ocaml

03:48 kaph_ has joined #ocaml

03:48 kaph has quit [Read error: Connection reset by peer]

03:52 terrorjack has quit [Quit: The Lounge - https://thelounge.chat]

03:54 terrorjack has joined #ocaml

04:20 szkl has quit [Quit: Connection closed for inactivity]

04:57 <d_bot> <gabenpls> anyone using vscodium? installed the ocaml platform extension and ocaml-lsp via opam, but my ocaml script isn't autoformatting on save

05:10 gravicappa has joined #ocaml

05:10 <d_bot> <gabenpls> ok, got it

05:10 waleee has quit [Ping timeout: 240 seconds]

05:11 <d_bot> <gabenpls> had to add this to my settings

05:11 <d_bot> <gabenpls> ```

05:11 <d_bot> <gabenpls> "[ocaml]": {

05:11 <d_bot> <gabenpls> "editor.defaultFormatter": "ocamllabs.ocaml-platform"

05:11 <d_bot> <gabenpls> }

05:11 <d_bot> <gabenpls> ```

05:11 <d_bot> <gabenpls> as well as install ocamlformat in the current switch

05:11 <d_bot> <gabenpls> would be nice to add this to the docs

05:13 rgrinberg has quit [Remote host closed the connection]

05:15 rgrinberg has joined #ocaml

06:28 x88x88x has quit [Remote host closed the connection]

06:28 x88x88x has joined #ocaml

06:31 rgrinberg has quit [Read error: Connection reset by peer]

06:32 rgrinberg has joined #ocaml

06:35 038AASGNZ has joined #ocaml

06:44 Guest5422 has quit [Ping timeout: 240 seconds]

06:45 Guest5422 has joined #ocaml

07:03 chiastre has quit [Ping timeout: 268 seconds]

07:09 perrierjouet has quit [Quit: WeeChat 3.3]

07:46 bartholin has joined #ocaml

07:48 perrierjouet has joined #ocaml

07:50 perrierjouet has quit [Client Quit]

07:50 mro has joined #ocaml

07:51 perrierjouet has joined #ocaml

07:53 038AASGNZ has quit [Ping timeout: 256 seconds]

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

08:09 kaph has joined #ocaml

08:09 kaph_ has quit [Read error: Connection reset by peer]

08:12 hackinghorn has joined #ocaml

08:53 hackhorn has joined #ocaml

08:55 hackinghorn has quit [Ping timeout: 256 seconds]

09:05 jlrnick has joined #ocaml

09:05 jlrnick has quit [Killed (NickServ (GHOST command used by jlrnick-))]

09:06 jlrnick has joined #ocaml

09:06 jlrnick has quit [Killed (NickServ (GHOST command used by jlrnick-))]

09:06 jlrnick has joined #ocaml

09:06 jlrnick has quit [Killed (NickServ (GHOST command used by jlrnick-))]

09:07 jlrnick has joined #ocaml

09:07 jlrnick has quit [Killed (NickServ (GHOST command used by jlrnick-))]

09:07 jlrnick has joined #ocaml

09:07 jlrnick has quit [Killed (NickServ (GHOST command used by jlrnick-))]

09:08 jlrnick has joined #ocaml

09:08 jlrnick has quit [Killed (NickServ (GHOST command used by jlrnick-))]

09:08 jlrnick has joined #ocaml

09:09 jlrnick has quit [Killed (NickServ (GHOST command used by jlrnick-))]

09:09 jlrnick has joined #ocaml

09:09 jlrnick has quit [Killed (NickServ (GHOST command used by jlrnick-))]

09:09 jlrnick has joined #ocaml

09:10 jlrnick has quit [Killed (NickServ (GHOST command used by jlrnick-))]

09:10 jlrnick has joined #ocaml

09:10 jlrnick has quit [Killed (NickServ (GHOST command used by jlrnick-))]

09:11 jlrnick has joined #ocaml

09:11 jlrnick has quit [Killed (NickServ (GHOST command used by jlrnick-))]

09:11 jlrnick has joined #ocaml

09:11 jlrnick has quit [Killed (NickServ (GHOST command used by jlrnick-))]

09:12 jlrnick has joined #ocaml

09:12 jlrnick has quit [Killed (NickServ (GHOST command used by jlrnick-))]

09:13 jlrnick has joined #ocaml

09:13 jlrnick has quit [Killed (NickServ (GHOST command used by jlrnick-))]

09:14 jlrnick has joined #ocaml

09:14 jlrnick has quit [Killed (NickServ (GHOST command used by jlrnick-))]

09:14 jlrnick has joined #ocaml

09:14 jlrnick has quit [Killed (NickServ (GHOST command used by jlrnick-))]

09:15 jlrnick has joined #ocaml

09:15 jlrnick has quit [Killed (NickServ (GHOST command used by jlrnick-))]

09:15 jlrnick has joined #ocaml

09:19 Tuplanolla has joined #ocaml

09:21 jlrnick has quit [Killed (NickServ (GHOST command used by jlrnick-))]

09:23 jlrnick has joined #ocaml

09:24 jlrnick has quit [Killed (NickServ (GHOST command used by jlrnick-))]

09:24 jlrnick has joined #ocaml

09:25 jlrnick has quit [Killed (NickServ (GHOST command used by jlrnick-))]

09:25 jlrnick has joined #ocaml

09:26 jlrnick has quit [Killed (NickServ (GHOST command used by jlrnick-))]

09:26 jlrnick has joined #ocaml

09:27 jlrnick has quit [Killed (NickServ (GHOST command used by jlrnick-))]

09:27 jlrnick has joined #ocaml

09:27 jlrnick has quit [Killed (NickServ (GHOST command used by jlrnick-))]

09:28 jlrnick has joined #ocaml

09:29 jlrnick has quit [Killed (NickServ (GHOST command used by jlrnick-))]

09:29 jlrnick has joined #ocaml

09:29 jlrnick has quit [Killed (NickServ (GHOST command used by jlrnick-))]

09:30 jlrnick has joined #ocaml

09:30 jlrnick has quit [Killed (NickServ (GHOST command used by jlrnick-))]

09:31 rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

09:31 jlrnick has joined #ocaml

09:31 jlrnick has quit [Killed (NickServ (GHOST command used by jlrnick-))]

09:32 jlrnick has joined #ocaml

09:33 jlrnick has quit [Killed (NickServ (GHOST command used by jlrnick-))]

09:34 jlrnick has joined #ocaml

09:34 jlrnick has quit [Killed (NickServ (GHOST command used by jlrnick-))]

09:35 jlrnick has joined #ocaml

09:36 jlrnick has quit [Killed (NickServ (GHOST command used by jlrnick-))]

09:36 jlrnick has joined #ocaml

09:37 jlrnick has quit [Killed (NickServ (GHOST command used by jlrnick-))]

09:37 jlrnick has joined #ocaml

09:37 jlrnick has quit [Killed (NickServ (GHOST command used by jlrnick-))]

09:38 jlrnick has joined #ocaml

09:38 jlrnick has quit [Killed (NickServ (GHOST command used by jlrnick-))]

09:39 jlrnick has joined #ocaml

09:39 jlrnick has quit [Killed (NickServ (GHOST command used by jlrnick-))]

09:39 jlrnick has joined #ocaml

09:40 jlrnick has quit [Killed (NickServ (GHOST command used by jlrnick-))]

09:40 jlrnick has joined #ocaml

09:40 jlrnick has quit [Killed (NickServ (GHOST command used by jlrnick-))]

09:41 jlrnick has joined #ocaml

09:41 kaph has quit [Remote host closed the connection]

09:41 jlrnick has quit [Killed (NickServ (GHOST command used by jlrnick-))]

09:41 kaph has joined #ocaml

09:42 jlrnick has joined #ocaml

09:42 jlrnick has quit [Killed (NickServ (GHOST command used by jlrnick-))]

09:42 jlrnick has joined #ocaml

09:42 jlrnick has quit [Killed (NickServ (GHOST command used by jlrnick-))]

09:43 jlrnick has joined #ocaml

09:44 jlrnick has quit [Killed (NickServ (GHOST command used by jlrnick-))]

09:44 jlrnick has joined #ocaml

09:44 jlrnick has quit [Killed (NickServ (GHOST command used by jlrnick-))]

09:45 jlrnick has joined #ocaml

09:45 jlrnick has quit [Killed (NickServ (GHOST command used by jlrnick-))]

09:47 jlrnick has joined #ocaml

09:47 jlrnick has quit [Killed (NickServ (GHOST command used by jlrnick-))]

09:47 jlrnick has joined #ocaml

09:48 jlrnick has quit [Killed (NickServ (GHOST command used by jlrnick-))]

09:49 jlrnick has joined #ocaml

09:49 jlrnick has quit [Killed (NickServ (GHOST command used by jlrnick-))]

09:49 jlrnick has joined #ocaml

09:50 jlrnick has quit [Killed (NickServ (GHOST command used by jlrnick-))]

09:51 jlrnick has joined #ocaml

09:51 jlrnick has quit [Killed (NickServ (GHOST command used by jlrnick-))]

09:52 jlrnick has joined #ocaml

09:53 jlrnick has quit [Killed (NickServ (GHOST command used by jlrnick-))]

09:54 jlrnick has joined #ocaml

09:55 jlrnick has quit [Killed (NickServ (GHOST command used by jlrnick-))]

09:56 jlrnick has joined #ocaml

09:57 jlrnick has quit [Killed (NickServ (GHOST command used by jlrnick-))]

09:57 jlrnick has joined #ocaml

09:57 jlrnick has quit [Killed (NickServ (GHOST command used by jlrnick-))]

10:01 Haudegen has joined #ocaml

10:09 mro has joined #ocaml

10:13 jlrnick has joined #ocaml

10:13 jlrnick has quit [Killed (NickServ (GHOST command used by jlrnick-))]

10:13 kaph has quit [Remote host closed the connection]

10:13 kaph has joined #ocaml

10:13 jlrnick has joined #ocaml

10:13 jlrnick has quit [Killed (NickServ (GHOST command used by jlrnick-))]

10:14 jlrnick has joined #ocaml

10:14 jlrnick has quit [Killed (NickServ (GHOST command used by jlrnick-))]

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

10:17 jlrnick has joined #ocaml

10:17 jlrnick has quit [Killed (NickServ (GHOST command used by jlrnick-))]

10:17 mro has joined #ocaml

10:25 jlrnick has joined #ocaml

10:25 jlrnick has quit [Killed (NickServ (GHOST command used by jlrnick-))]

10:26 jlrnick has joined #ocaml

10:26 jlrnick has quit [Killed (NickServ (GHOST command used by jlrnick-))]

10:31 jlrnick has joined #ocaml

10:31 jlrnick has quit [Killed (NickServ (GHOST command used by jlrnick-))]

10:31 jlrnick has joined #ocaml

10:31 jlrnick has quit [Killed (NickServ (GHOST command used by jlrnick-))]

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

10:37 jlrnick has joined #ocaml

10:37 jlrnick has quit [Killed (NickServ (GHOST command used by jlrnick-))]

10:38 reynir has joined #ocaml

10:42 jlrnick has joined #ocaml

10:42 jlrnick has quit [Killed (NickServ (GHOST command used by jlrnick-))]

10:44 jlrnick has joined #ocaml

10:44 jlrnick has quit [Killed (NickServ (GHOST command used by jlrnick-))]

10:47 jlrnick has joined #ocaml

10:47 jlrnick has quit [Killed (NickServ (GHOST command used by jlrnick-))]

10:49 jlrnick has joined #ocaml

10:49 jlrnick has quit [Killed (NickServ (GHOST command used by jlrnick-))]

11:00 jlrnick has joined #ocaml

11:00 jlrnick has quit [Killed (NickServ (GHOST command used by jlrnick-))]

11:00 jlrnick has joined #ocaml

11:00 jlrnick has quit [Killed (NickServ (GHOST command used by jlrnick-))]

11:01 jlrnick has joined #ocaml

11:01 jlrnick has quit [Killed (NickServ (GHOST command used by jlrnick-))]

11:03 hackhorn has quit [Quit: Leaving]

11:04 jlrnick has joined #ocaml

11:04 jlrnick has quit [Killed (NickServ (GHOST command used by jlrnick-))]

11:05 jlrnick has joined #ocaml

11:05 jlrnick has quit [Killed (NickServ (GHOST command used by jlrnick-))]

11:06 jlrnick has joined #ocaml

11:06 jlrnick has quit [Killed (NickServ (GHOST command used by jlrnick-))]

11:14 jlrnick has joined #ocaml

11:14 jlrnick has quit [Killed (NickServ (GHOST command used by jlrnick-))]

11:14 kaph_ has joined #ocaml

11:14 jlrnick has joined #ocaml

11:14 kaph has quit [Ping timeout: 256 seconds]

11:14 jlrnick has quit [Killed (NickServ (GHOST command used by jlrnick-))]

11:16 jlrnick has joined #ocaml

11:16 jlrnick has quit [Killed (NickServ (GHOST command used by jlrnick-))]

11:17 jlrnick has joined #ocaml

11:17 jlrnick has quit [Killed (NickServ (GHOST command used by jlrnick-))]

11:18 jlrnick has joined #ocaml

11:19 jlrnick has quit [Killed (NickServ (GHOST command used by jlrnick-))]

11:22 jlrnick has joined #ocaml

11:22 jlrnick has quit [Killed (NickServ (GHOST command used by jlrnick-))]

11:22 jlrnick has joined #ocaml

11:22 jlrnick has quit [Killed (NickServ (GHOST command used by jlrnick-))]

11:22 jlrnick has joined #ocaml

11:23 jlrnick has quit [Killed (NickServ (GHOST command used by jlrnick-))]

11:30 jlrnick has joined #ocaml

11:30 jlrnick has quit [Killed (NickServ (GHOST command used by jlrnick-))]

11:34 jlrnick has joined #ocaml

11:34 jlrnick has quit [Killed (NickServ (GHOST command used by jlrnick-))]

11:35 jlrnick has joined #ocaml

11:35 jlrnick has quit [Killed (NickServ (GHOST command used by jlrnick-))]

11:39 jlrnick has joined #ocaml

11:39 jlrnick has quit [Killed (NickServ (GHOST command used by jlrnick-))]

11:40 jlrnick has joined #ocaml

11:40 jlrnick has quit [Killed (NickServ (GHOST command used by jlrnick-))]

11:45 jlrnick has joined #ocaml

11:46 jlrnick has quit [Killed (NickServ (GHOST command used by jlrnick-))]

11:51 jlrnick has joined #ocaml

11:51 jlrnick has quit [Killed (NickServ (GHOST command used by jlrnick-))]

11:53 jlrnick has joined #ocaml

11:53 jlrnick has quit [Killed (NickServ (GHOST command used by jlrnick-))]

11:57 jlrnick has joined #ocaml

11:57 jlrnick has quit [Killed (NickServ (GHOST command used by jlrnick-))]

11:58 jlrnick has joined #ocaml

11:58 jlrnick has quit [Killed (NickServ (GHOST command used by jlrnick-))]

12:01 jlrnick has joined #ocaml

12:01 jlrnick has quit [Killed (NickServ (GHOST command used by jlrnick-))]

12:05 chiastre has joined #ocaml

12:08 jlrnick has joined #ocaml

12:09 jlrnick has quit [Killed (NickServ (GHOST command used by jlrnick-))]

12:09 jlrnick has joined #ocaml

12:09 jlrnick has quit [Killed (NickServ (GHOST command used by jlrnick-))]

12:10 kaph_ has quit [Remote host closed the connection]

12:10 jlrnick has joined #ocaml

12:10 kaph has joined #ocaml

12:11 jlrnick has quit [Killed (NickServ (GHOST command used by jlrnick-))]

12:11 jlrnick has joined #ocaml

12:11 jlrnick has quit [Killed (NickServ (GHOST command used by jlrnick-))]

12:14 jlrnick has joined #ocaml

12:14 jlrnick has quit [Killed (NickServ (GHOST command used by jlrnick-))]

12:15 jlrnick has joined #ocaml

12:15 jlrnick has quit [Killed (NickServ (GHOST command used by jlrnick-))]

12:18 jlrnick has joined #ocaml

12:18 jlrnick has quit [Killed (NickServ (GHOST command used by jlrnick-))]

12:18 jlrnick has joined #ocaml

12:18 jlrnick has quit [Killed (NickServ (GHOST command used by jlrnick-))]

12:18 hackinghorn has joined #ocaml

12:20 jlrnick has joined #ocaml

12:20 jlrnick has quit [Killed (NickServ (GHOST command used by jlrnick-))]

12:20 jlrnick has joined #ocaml

12:20 jlrnick has quit [Killed (NickServ (GHOST command used by jlrnick-))]

12:22 jlrnick has joined #ocaml

12:22 jlrnick has quit [Killed (NickServ (GHOST command used by jlrnick-))]

12:22 jlrnick has joined #ocaml

12:22 jlrnick has quit [Killed (NickServ (GHOST command used by jlrnick-))]

12:23 jlrnick has joined #ocaml

12:23 jlrnick has quit [Killed (NickServ (GHOST command used by jlrnick-))]

12:23 jlrnick has joined #ocaml

12:23 jlrnick has quit [Killed (NickServ (GHOST command used by jlrnick-))]

12:25 gravicappa has quit [Ping timeout: 268 seconds]

12:27 jlrnick has joined #ocaml

12:27 jlrnick has quit [Killed (NickServ (GHOST command used by jlrnick-))]

12:27 jlrnick has joined #ocaml

12:27 jlrnick has quit [Killed (NickServ (GHOST command used by jlrnick-))]

12:28 jlrnick has joined #ocaml

12:28 jlrnick has quit [Killed (NickServ (GHOST command used by jlrnick-))]

12:32 kaph has quit [Read error: Connection reset by peer]

12:33 kaph has joined #ocaml

12:34 jlrnick has joined #ocaml

12:34 jlrnick has quit [Killed (NickServ (GHOST command used by jlrnick-))]

12:35 jlrnick has joined #ocaml

12:35 jlrnick has quit [Killed (NickServ (GHOST command used by jlrnick-))]

12:37 jlrnick has joined #ocaml

12:37 jlrnick has quit [Killed (NickServ (GHOST command used by jlrnick-))]

12:38 jlrnick has joined #ocaml

12:38 jlrnick has quit [Killed (NickServ (GHOST command used by jlrnick-))]

12:45 jlrnick has joined #ocaml

12:45 jlrnick has quit [Killed (NickServ (GHOST command used by jlrnick-))]

12:47 jlrnick has joined #ocaml

12:47 jlrnick has quit [Killed (NickServ (GHOST command used by jlrnick-))]

12:47 jlrnick has joined #ocaml

12:47 jlrnick has quit [Killed (NickServ (GHOST command used by jlrnick-))]

12:50 <Leonidas> gabenpls: could you make a PR? The platform team will surely appreciate it

12:51 jlrnick has joined #ocaml

12:51 jlrnick has quit [Killed (NickServ (GHOST command used by jlrnick-))]

12:51 jlrnick has joined #ocaml

12:51 jlrnick has quit [Killed (NickServ (GHOST command used by jlrnick-))]

12:52 jlrnick has joined #ocaml

12:52 jlrnick has quit [Killed (NickServ (GHOST command used by jlrnick-))]

12:52 jlrnick has joined #ocaml

12:52 jlrnick has quit [Killed (NickServ (GHOST command used by jlrnick-))]

12:55 mro has joined #ocaml

12:56 kaph_ has joined #ocaml

12:57 jlrnick has joined #ocaml

12:57 jlrnick has quit [Killed (NickServ (GHOST command used by jlrnick-))]

12:57 jlrnick has joined #ocaml

12:57 jlrnick has quit [Killed (NickServ (GHOST command used by jlrnick-))]

12:58 mro has quit [Remote host closed the connection]

12:58 jlrnick has joined #ocaml

12:58 jlrnick has quit [Killed (NickServ (GHOST command used by jlrnick-))]

12:58 jlrnick has joined #ocaml

12:58 jlrnick has quit [Killed (NickServ (GHOST command used by jlrnick-))]

12:59 kaph has quit [Ping timeout: 268 seconds]

13:00 jlrnick has joined #ocaml

13:01 jlrnick has quit [Remote host closed the connection]

13:10 jlrnick has joined #ocaml

13:44 mro has joined #ocaml

13:47 gravicappa has joined #ocaml

13:48 mro has quit [Remote host closed the connection]

14:21 kaph_ has quit [Ping timeout: 240 seconds]

14:23 kaph has joined #ocaml

14:35 kaph has quit [Read error: Connection reset by peer]

14:35 kaph has joined #ocaml

15:01 waleee has joined #ocaml

15:11 kaph_ has joined #ocaml

15:12 kaph has quit [Read error: Connection reset by peer]

15:34 kaph has joined #ocaml

15:34 kaph_ has quit [Read error: Connection reset by peer]

15:44 mro has joined #ocaml

16:05 jlrnick has quit [Ping timeout: 268 seconds]

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

16:34 kaph_ has joined #ocaml

16:35 kaph has quit [Read error: Connection reset by peer]

17:00 gdd has joined #ocaml

17:17 mro has joined #ocaml

17:20 kaph_ has quit [Ping timeout: 250 seconds]

17:22 mro has quit [Remote host closed the connection]

17:22 mro has joined #ocaml

17:24 kaph has joined #ocaml

17:24 mro has quit [Remote host closed the connection]

17:38 rgrinberg has joined #ocaml

17:41 gdd has quit [Ping timeout: 240 seconds]

17:48 zebrag has joined #ocaml

18:07 mro has joined #ocaml

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

18:12 mro has joined #ocaml

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

18:34 kaph_ has joined #ocaml

18:35 kaph has quit [Read error: Connection reset by peer]

18:44 spip has joined #ocaml

18:45 Guest5422 has quit [Ping timeout: 268 seconds]

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

19:04 mro has joined #ocaml

19:09 mro has quit [Ping timeout: 268 seconds]

19:10 jlrnick has joined #ocaml

19:28 <d_bot> <zbaylin> dumb question: is there syntax for an empty object type literal? I would assume it's something like `<>` but that causes a syntax error

19:31 <dmbaturin> That's an interesting question!

19:32 <d_bot> <zbaylin> I think I just needed a space, i.e. `< >` -- not sure why

19:33 <dmbaturin> I think because otherwise the lexer assumes it's the "not equal" `<>` operator.

19:33 <d_bot> <zbaylin> that would make sense, but usually the lexer is able to separate values from types

19:34 <dmbaturin> Similar problem exists with trying to define an infix operator that starts with *: `let (*) x y = ...` is bad because it assumes that `(*` starts a comment, but `let ( * ) x y = ...` works.

19:35 <d_bot> <zbaylin> ah I see

19:35 <dmbaturin> Yeah, I suppose that lexer isn't keeping any state, where it perhaps should. Might be a point for discussion with octachron. :)

19:41 <d_bot> <octachron> The lexer doesn't make any distinction between values, types or any kind of context at all.

19:41 <d_bot> <octachron> That's kind of the point of the lexer/parser separation.

19:52 <dmbaturin> Do you think there could be another way to avoid gotchas like those?

19:54 jlrnick has quit [Ping timeout: 256 seconds]

19:56 <octachron> Better syntax errors?

20:29 greenbagels has quit [Ping timeout: 245 seconds]

20:32 mro has joined #ocaml

20:41 gravicappa has quit [Ping timeout: 240 seconds]

20:43 greenbagels has joined #ocaml

21:15 kaph_ has quit [Remote host closed the connection]

21:16 kaph_ has joined #ocaml

21:53 <d_bot> <Abbix> is this a bridge or what

21:54 <d_bot> <Abbix> I mean the bot

21:54 <d_bot> <NULL> Look at the channel description

21:54 <d_bot> <Abbix> oh yea

21:54 <d_bot> <Abbix> mb

21:57 <d_bot> <VPhantom> We all get caught initially. 😉

21:58 kaph_ has quit [Remote host closed the connection]

21:59 kaph_ has joined #ocaml

22:01 <d_bot> <somebody> late but... technically both. i think most clients default to alerting when your own username is mentioned, but generally you can customize the list of keywords that notify you, which is pretty nice

22:17 kaph_ has quit [Read error: Connection reset by peer]

22:17 kaph has joined #ocaml

22:38 vicfred has joined #ocaml

22:39 kaph has quit [Read error: Connection reset by peer]

22:39 bartholin has quit [Quit: Leaving]

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

22:44 kaph_ has joined #ocaml

23:01 rgrinberg has joined #ocaml

23:18 hackinghorn has quit [Ping timeout: 260 seconds]

23:25 hackinghorn has joined #ocaml

23:41 greenbagels has quit [Ping timeout: 252 seconds]

23:54 greenbagels has joined #ocaml