#ocaml on 2022-11-13 — 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 Tuplanolla has quit [Quit: Leaving.]

00:12 spip has joined #ocaml

00:12 bobo has quit [Ping timeout: 268 seconds]

00:27 cedric has quit [Quit: Konversation terminated!]

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

01:31 azimut has joined #ocaml

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

01:44 rgrinberg has joined #ocaml

02:05 wingsorc has joined #ocaml

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

02:22 azimut has joined #ocaml

02:45 brettgilio has joined #ocaml

02:54 brettgilio has left #ocaml [The Lounge - https://thelounge.chat]

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

03:14 chrisz has joined #ocaml

03:24 waleee has quit [Ping timeout: 260 seconds]

03:42 gwizon has joined #ocaml

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

03:50 terrorjack has joined #ocaml

03:58 Haudegen has quit [Ping timeout: 268 seconds]

04:10 azimut has quit [Remote host closed the connection]

04:10 azimut has joined #ocaml

04:11 troydm has quit [Ping timeout: 256 seconds]

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

05:19 lisbeths4 has joined #ocaml

05:20 <lisbeths4> I am a long time lisp and emacs user. I am drawn here because i am curious about the Catagorical Abstract Machine, and because I am curious about infix notation

05:21 <lisbeths4> I have heard that a minimal abstract machine for OCaml is systemF and I wonder if there are any tiny implementations of ocaml based on systemf

05:24 <lisbeths4> I am intersted in very very smol ML systems probably stmaller than standard ml

05:41 rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

07:26 troydm has joined #ocaml

07:46 bartholin has joined #ocaml

07:48 dnh has joined #ocaml

07:57 jao has quit [Ping timeout: 268 seconds]

08:25 Techcable has quit [Ping timeout: 268 seconds]

08:42 Serpent7776 has joined #ocaml

09:25 Tuplanolla has joined #ocaml

09:36 Haudegen has joined #ocaml

10:09 Techcable has joined #ocaml

10:27 xd1le has joined #ocaml

10:46 olle has joined #ocaml

11:38 bgs has joined #ocaml

12:11 bobo_ has joined #ocaml

12:12 spip has quit [Ping timeout: 256 seconds]

12:15 azimut has quit [Remote host closed the connection]

12:19 azimut has joined #ocaml

12:41 John_Ivan_ has joined #ocaml

12:44 John_Ivan has quit [Ping timeout: 256 seconds]

13:07 gareppa has joined #ocaml

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

13:18 gareppa has quit [Read error: Connection reset by peer]

13:19 gareppa has joined #ocaml

13:20 gareppa has quit [Remote host closed the connection]

13:20 gareppa has joined #ocaml

13:26 bartholin has quit [Quit: Leaving]

13:28 szkl has joined #ocaml

14:27 jao has joined #ocaml

14:45 xd1le has quit [Quit: xd1le]

15:01 noonien has joined #ocaml

15:05 mro has joined #ocaml

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

16:00 mro has joined #ocaml

16:33 troydm has joined #ocaml

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

17:04 mro has joined #ocaml

17:16 waleee has joined #ocaml

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

18:01 random-jellyfish has joined #ocaml

18:03 rgrinberg has joined #ocaml

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

18:30 calvnce has joined #ocaml

18:55 brettgilio has joined #ocaml

18:55 mro has joined #ocaml

18:55 bartholin has joined #ocaml

19:01 mro has quit [Remote host closed the connection]

19:08 mro has joined #ocaml

19:09 bartholin has quit [Ping timeout: 256 seconds]

19:18 mro has quit [Quit: Leaving...]

19:22 keyboard has quit [Ping timeout: 268 seconds]

19:23 bartholin has joined #ocaml

19:51 azimut has quit [Ping timeout: 255 seconds]

20:09 perrierjouet has quit [Quit: WeeChat 3.7.1]

20:26 spip has joined #ocaml

20:26 bobo_ has quit [Ping timeout: 240 seconds]

20:40 mro has joined #ocaml

20:53 gareppa has quit [Quit: Leaving]

21:05 oriba has joined #ocaml

21:07 random-jellyfish has quit [Quit: Client closed]

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

21:18 bartholin has quit [Ping timeout: 268 seconds]

21:31 bartholin has joined #ocaml

21:42 mro has quit [Quit: Leaving...]

21:50 bgs has quit [Remote host closed the connection]

22:02 bartholin has quit [Quit: Leaving]

22:03 lisbeths4 has quit [Remote host closed the connection]

22:38 rgrinberg has joined #ocaml

22:38 calvnce has quit [Quit: Client closed]

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

23:49 dnh has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

23:55 Serpent7776 has quit [Ping timeout: 268 seconds]

23:57 dnh has joined #ocaml