#ocaml on 2019-10-12 — irc logs at freenode.irclog.whitequark.org

2019-09-26 12:04 adrien changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org | OCaml 4.09 release notes: https://caml.inria.fr/pub/distrib/ocaml-4.09/notes/Changes | Try OCaml in your browser: http://try.ocamlpro.com | Public channel logs at http://irclog.whitequark.org/ocaml

00:06 AtumT has joined #ocaml

00:07 AtumT_ has quit [Ping timeout: 250 seconds]

00:18 AtumT_ has joined #ocaml

00:18 AtumT has quit [Ping timeout: 240 seconds]

00:30 kleisli has joined #ocaml

00:58 olle has quit [Ping timeout: 250 seconds]

01:00 olle has joined #ocaml

01:06 unyu has joined #ocaml

01:08 toppler has quit [Read error: Connection reset by peer]

01:08 toppler has joined #ocaml

01:10 toppler has quit [Read error: Connection reset by peer]

01:11 toppler has joined #ocaml

01:34 Hrundi_V_Bakshi has quit [Quit: http://quassel-irc.org - Chat comfortably. Anywhere.]

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

01:41 toppler has quit [Read error: Connection reset by peer]

01:41 toppler has joined #ocaml

01:51 cheesy has joined #ocaml

01:51 slice has quit [Ping timeout: 264 seconds]

01:56 unyu has quit [Ping timeout: 246 seconds]

01:57 Haudegen has quit [Ping timeout: 264 seconds]

02:04 AtumT_ has quit [Quit: AtumT_]

02:13 companion_cube has quit [Ping timeout: 264 seconds]

02:19 tormen_ has joined #ocaml

02:22 tormen has quit [Ping timeout: 240 seconds]

02:23 mfp has quit [Ping timeout: 268 seconds]

02:30 toppler has quit [Read error: Connection reset by peer]

02:31 toppler has joined #ocaml

02:33 toppler has quit [Read error: Connection reset by peer]

02:33 toppler has joined #ocaml

02:40 companion_cube has joined #ocaml

02:53 unyu has joined #ocaml

03:27 _whitelogger has joined #ocaml

03:33 kleisli has quit [Ping timeout: 240 seconds]

03:38 unyu has quit [Ping timeout: 276 seconds]

03:46 unyu has joined #ocaml

03:58 kleisli has joined #ocaml

05:10 tizoc has quit [Quit: Coyote finally caught me]

05:10 tizoc has joined #ocaml

05:36 narimiran has joined #ocaml

05:41 gravicappa has joined #ocaml

06:02 ravenousmoose has joined #ocaml

06:06 ravenousmoose has quit [Ping timeout: 245 seconds]

06:11 toppler has quit [Read error: Connection reset by peer]

06:11 toppler has joined #ocaml

06:13 kleisli has quit [Ping timeout: 240 seconds]

06:14 toppler has quit [Read error: Connection reset by peer]

06:14 toppler has joined #ocaml

06:16 q9929t has joined #ocaml

06:16 toppler has quit [Read error: Connection reset by peer]

06:17 toppler has joined #ocaml

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

06:19 toppler has joined #ocaml

06:21 q9929t has quit [Quit: q9929t]

06:22 toppler has quit [Read error: Connection reset by peer]

06:22 toppler has joined #ocaml

06:24 toppler has quit [Read error: Connection reset by peer]

06:25 toppler has joined #ocaml

06:32 rpcope has joined #ocaml

06:39 ggole has joined #ocaml

06:43 betux has joined #ocaml

06:48 _whitelogger has joined #ocaml

06:50 toppler has quit [Read error: Connection reset by peer]

06:50 toppler has joined #ocaml

06:52 toppler has quit [Read error: Connection reset by peer]

06:53 toppler has joined #ocaml

06:55 toppler has quit [Read error: Connection reset by peer]

06:55 toppler has joined #ocaml

06:57 toppler has quit [Read error: Connection reset by peer]

06:58 toppler has joined #ocaml

07:01 toppler has quit [Read error: Connection reset by peer]

07:01 toppler has joined #ocaml

07:22 toppler has quit [Read error: Connection reset by peer]

07:22 toppler has joined #ocaml

07:24 toppler has quit [Read error: Connection reset by peer]

07:25 toppler has joined #ocaml

07:27 toppler has quit [Read error: Connection reset by peer]

07:28 toppler has joined #ocaml

07:30 toppler has quit [Read error: Connection reset by peer]

07:30 toppler has joined #ocaml

07:32 toppler has quit [Read error: Connection reset by peer]

07:33 toppler has joined #ocaml

07:33 cartwright has quit [Remote host closed the connection]

07:34 ravenousmoose has joined #ocaml

07:36 cartwright has joined #ocaml

07:38 betux has quit [Quit: betux]

08:08 narimiran has quit [Ping timeout: 246 seconds]

08:11 toppler has quit [Read error: Connection reset by peer]

08:12 toppler has joined #ocaml

08:14 toppler has quit [Read error: Connection reset by peer]

08:14 toppler has joined #ocaml

08:16 toppler has quit [Read error: Connection reset by peer]

08:17 toppler has joined #ocaml

08:19 toppler has quit [Read error: Connection reset by peer]

08:19 toppler has joined #ocaml

08:37 toppler has quit [Read error: Connection reset by peer]

08:37 toppler has joined #ocaml

08:38 ravenousmoose has quit [Read error: Connection reset by peer]

08:39 toppler has quit [Read error: Connection reset by peer]

08:40 toppler has joined #ocaml

08:40 ravenousmoose has joined #ocaml

08:42 toppler has quit [Read error: Connection reset by peer]

08:43 toppler has joined #ocaml

08:45 toppler has quit [Read error: Connection reset by peer]

08:45 toppler has joined #ocaml

08:48 toppler has quit [Read error: Connection reset by peer]

08:48 toppler has joined #ocaml

08:51 toppler has quit [Read error: Connection reset by peer]

08:51 orbifx1 has joined #ocaml

08:51 toppler has joined #ocaml

08:54 toppler has quit [Read error: Connection reset by peer]

08:54 toppler has joined #ocaml

08:56 toppler has quit [Read error: Connection reset by peer]

08:57 toppler has joined #ocaml

08:59 toppler has quit [Read error: Connection reset by peer]

08:59 toppler has joined #ocaml

09:03 toppler has quit [Read error: Connection reset by peer]

09:03 toppler has joined #ocaml

09:05 toppler has quit [Read error: Connection reset by peer]

09:05 toppler has joined #ocaml

09:06 Traviss__ has joined #ocaml

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

09:08 toppler has joined #ocaml

09:10 traviss has quit [Ping timeout: 265 seconds]

09:11 toppler has quit [Read error: Connection reset by peer]

09:11 toppler has joined #ocaml

09:13 toppler has quit [Remote host closed the connection]

09:14 toppler has joined #ocaml

09:16 toppler has quit [Read error: Connection reset by peer]

09:16 toppler has joined #ocaml

09:19 toppler has quit [Read error: Connection reset by peer]

09:19 toppler has joined #ocaml

09:22 toppler has quit [Read error: Connection reset by peer]

09:23 toppler has joined #ocaml

09:30 <olle> wow, they made lean in c++

09:30 <olle> so it's faster than coq?

09:37 toppler has quit [Read error: Connection reset by peer]

09:37 <Armael> possibly?

09:37 toppler has joined #ocaml

09:39 <Armael> but what you're asking is somewhat similar to "is gcc faster than ocamlc since it's implemented in C"

09:41 mfp has joined #ocaml

09:41 <olle> ;)

09:53 toppler has quit [Read error: Connection reset by peer]

09:53 toppler has joined #ocaml

09:55 toppler has quit [Read error: Connection reset by peer]

09:56 toppler has joined #ocaml

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

09:58 toppler has joined #ocaml

10:02 toppler has quit [Read error: Connection reset by peer]

10:02 toppler has joined #ocaml

10:15 toppler has quit [Read error: Connection reset by peer]

10:15 toppler has joined #ocaml

10:17 toppler has quit [Read error: Connection reset by peer]

10:18 toppler has joined #ocaml

10:20 toppler has quit [Read error: Connection reset by peer]

10:20 toppler has joined #ocaml

10:23 toppler has quit [Read error: Connection reset by peer]

10:23 toppler has joined #ocaml

10:25 toppler has quit [Read error: Connection reset by peer]

10:26 toppler has joined #ocaml

10:28 toppler has quit [Read error: Connection reset by peer]

10:29 toppler has joined #ocaml

10:31 toppler has quit [Read error: Connection reset by peer]

10:31 toppler has joined #ocaml

10:34 toppler has quit [Read error: Connection reset by peer]

10:34 toppler has joined #ocaml

10:37 toppler has quit [Read error: Connection reset by peer]

10:37 toppler has joined #ocaml

10:39 toppler has quit [Read error: Connection reset by peer]

10:40 toppler has joined #ocaml

10:40 Haudegen has joined #ocaml

10:42 toppler has quit [Read error: Connection reset by peer]

10:43 toppler has joined #ocaml

10:45 toppler has quit [Read error: Connection reset by peer]

10:46 toppler has joined #ocaml

10:48 toppler has quit [Read error: Connection reset by peer]

10:48 toppler has joined #ocaml

10:49 nahra has joined #ocaml

10:51 toppler has quit [Read error: Connection reset by peer]

10:51 toppler has joined #ocaml

10:54 toppler has quit [Read error: Connection reset by peer]

10:54 toppler has joined #ocaml

10:57 toppler has quit [Read error: Connection reset by peer]

10:57 toppler has joined #ocaml

11:00 toppler has quit [Read error: Connection reset by peer]

11:00 toppler has joined #ocaml

11:03 toppler has quit [Read error: Connection reset by peer]

11:03 toppler has joined #ocaml

11:06 toppler has quit [Read error: Connection reset by peer]

11:06 toppler has joined #ocaml

11:09 toppler has quit [Read error: Connection reset by peer]

11:09 toppler has joined #ocaml

11:10 orbifx1 has quit [Ping timeout: 268 seconds]

11:11 kaun_ has joined #ocaml

11:11 kaun_ has left #ocaml [#ocaml]

11:11 kaun_ has joined #ocaml

11:12 toppler has quit [Remote host closed the connection]

11:12 toppler has joined #ocaml

11:15 toppler has quit [Read error: Connection reset by peer]

11:15 toppler has joined #ocaml

11:16 kaun_ has quit [Ping timeout: 264 seconds]

11:18 toppler has quit [Write error: Connection reset by peer]

11:18 toppler has joined #ocaml

11:21 toppler has quit [Remote host closed the connection]

11:21 toppler has joined #ocaml

11:24 toppler has quit [Read error: Connection reset by peer]

11:24 toppler has joined #ocaml

11:27 toppler has quit [Read error: Connection reset by peer]

11:27 toppler has joined #ocaml

11:29 toppler has quit [Read error: Connection reset by peer]

11:30 toppler has joined #ocaml

11:33 toppler has quit [Read error: Connection reset by peer]

11:33 toppler has joined #ocaml

11:38 toppler has quit [Ping timeout: 250 seconds]

11:38 toppler has joined #ocaml

11:41 toppler has quit [Read error: Connection reset by peer]

11:42 toppler has joined #ocaml

11:45 toppler has quit [Read error: Connection reset by peer]

11:45 toppler has joined #ocaml

11:48 toppler has quit [Read error: Connection reset by peer]

11:48 toppler has joined #ocaml

11:51 toppler has quit [Read error: Connection reset by peer]

11:51 toppler has joined #ocaml

11:54 toppler has quit [Read error: Connection reset by peer]

11:54 toppler has joined #ocaml

11:57 toppler has quit [Read error: Connection reset by peer]

11:57 toppler has joined #ocaml

12:00 FreeBirdLjj has joined #ocaml

12:01 toppler has quit [Read error: Connection reset by peer]

12:01 toppler has joined #ocaml

12:03 toppler has quit [Read error: Connection reset by peer]

12:04 toppler has joined #ocaml

12:05 FreeBirdLjj has quit [Ping timeout: 268 seconds]

12:07 toppler has quit [Read error: Connection reset by peer]

12:07 toppler has joined #ocaml

12:10 toppler has quit [Read error: Connection reset by peer]

12:10 toppler has joined #ocaml

12:13 toppler has quit [Read error: Connection reset by peer]

12:13 toppler has joined #ocaml

12:16 toppler has quit [Read error: Connection reset by peer]

12:16 toppler has joined #ocaml

12:19 toppler has quit [Read error: Connection reset by peer]

12:19 toppler has joined #ocaml

12:19 AtumT has joined #ocaml

12:22 toppler has quit [Read error: Connection reset by peer]

12:22 toppler has joined #ocaml

12:25 toppler has quit [Read error: Connection reset by peer]

12:26 toppler has joined #ocaml

12:28 toppler has quit [Read error: Connection reset by peer]

12:28 toppler has joined #ocaml

12:31 toppler has quit [Read error: Connection reset by peer]

12:32 toppler has joined #ocaml

12:34 toppler has quit [Read error: Connection reset by peer]

12:34 toppler has joined #ocaml

12:37 toppler has quit [Read error: Connection reset by peer]

12:38 toppler has joined #ocaml

12:39 nahra has quit [Ping timeout: 268 seconds]

12:41 toppler has quit [Read error: Connection reset by peer]

12:41 toppler has joined #ocaml

12:44 toppler has quit [Read error: Connection reset by peer]

12:44 toppler has joined #ocaml

12:47 toppler has quit [Read error: Connection reset by peer]

12:47 toppler has joined #ocaml

12:50 toppler has quit [Read error: Connection reset by peer]

12:50 toppler has joined #ocaml

12:53 toppler has quit [Read error: Connection reset by peer]

12:53 toppler has joined #ocaml

12:57 toppler has quit [Read error: Connection reset by peer]

12:57 toppler has joined #ocaml

13:01 toppler has quit [Read error: Connection reset by peer]

13:01 toppler has joined #ocaml

13:04 toppler has quit [Read error: Connection reset by peer]

13:04 toppler has joined #ocaml

13:05 kjak has quit [Ping timeout: 265 seconds]

13:07 toppler has quit [Read error: Connection reset by peer]

13:07 toppler has joined #ocaml

13:11 toppler has quit [Read error: Connection reset by peer]

13:11 toppler has joined #ocaml

13:14 toppler has quit [Read error: Connection reset by peer]

13:14 toppler has joined #ocaml

13:17 toppler has quit [Read error: Connection reset by peer]

13:18 toppler has joined #ocaml

13:21 toppler has quit [Read error: Connection reset by peer]

13:21 toppler has joined #ocaml

13:24 toppler has quit [Read error: Connection reset by peer]

13:24 toppler has joined #ocaml

13:27 toppler has quit [Read error: Connection reset by peer]

13:28 toppler has joined #ocaml

13:31 toppler has quit [Read error: Connection reset by peer]

13:31 toppler has joined #ocaml

13:45 toppler has quit [Read error: Connection reset by peer]

13:45 toppler has joined #ocaml

13:49 <simpson> olle: Algorithms and VM design are more important, IMO; Metamath is far faster than Lean *or* Coq.

13:57 <olle> simpson: ok

13:57 silver has joined #ocaml

13:57 <olle> didn't know about metamath

13:57 <olle> is it written in assembler? ;)

13:59 <simpson> olle: Nope, Metamath interpreters can be written in many languages. There's a basic Python script that can verify Metamath faster than Lean, Coq, Isabelle, etc. But there's also a Rust implementation that can verify thousands of theorems per second.

14:02 kakadu has joined #ocaml

14:13 <bartholin> >python is faster than coq

14:14 * bartholin shudders

14:15 FreeBirdLjj has joined #ocaml

14:16 <simpson> Dunno why that's scary. It's all down to the amount of work that is done. http://us.metamath.org/downloads/mmverify.py is not very long.

14:18 toppler has quit [Read error: Connection reset by peer]

14:18 toppler has joined #ocaml

14:20 FreeBirdLjj has quit [Ping timeout: 268 seconds]

14:21 toppler has quit [Read error: Connection reset by peer]

14:22 toppler has joined #ocaml

14:25 toppler has quit [Read error: Connection reset by peer]

14:25 toppler has joined #ocaml

14:26 klntsky_ has quit [Quit: WeeChat 1.6]

14:26 klntsky has joined #ocaml

14:33 mfp has quit [Ping timeout: 240 seconds]

14:42 toppler has quit [Read error: Connection reset by peer]

14:42 toppler has joined #ocaml

14:45 toppler has quit [Read error: Connection reset by peer]

14:46 toppler has joined #ocaml

14:46 kaun_ has joined #ocaml

14:49 toppler has quit [Read error: Connection reset by peer]

14:49 toppler has joined #ocaml

14:51 nahra has joined #ocaml

14:52 Haudegen has quit [Quit: No Ping reply in 180 seconds.]

14:52 toppler has quit [Read error: Connection reset by peer]

14:52 toppler has joined #ocaml

14:53 Haudegen has joined #ocaml

14:55 toppler has quit [Read error: Connection reset by peer]

14:55 toppler has joined #ocaml

14:58 toppler has quit [Read error: Connection reset by peer]

14:58 toppler has joined #ocaml

15:02 toppler has quit [Read error: Connection reset by peer]

15:02 toppler has joined #ocaml

15:05 toppler has quit [Read error: Connection reset by peer]

15:05 toppler has joined #ocaml

15:08 toppler has quit [Read error: Connection reset by peer]

15:09 toppler has joined #ocaml

15:11 toppler has quit [Read error: Connection reset by peer]

15:11 toppler has joined #ocaml

15:13 kaun_ has left #ocaml [#ocaml]

15:14 toppler has quit [Read error: Connection reset by peer]

15:15 toppler has joined #ocaml

15:17 mfp has joined #ocaml

15:18 toppler has quit [Read error: Connection reset by peer]

15:18 toppler has joined #ocaml

15:19 ziyourenxiang_ has quit [Ping timeout: 240 seconds]

15:21 toppler has quit [Read error: Connection reset by peer]

15:21 toppler has joined #ocaml

15:24 toppler has quit [Read error: Connection reset by peer]

15:25 toppler has joined #ocaml

15:27 toppler has quit [Read error: Connection reset by peer]

15:28 AtumT_ has joined #ocaml

15:28 toppler has joined #ocaml

15:29 AtumT has quit [Ping timeout: 268 seconds]

15:31 toppler has quit [Read error: Connection reset by peer]

15:31 toppler has joined #ocaml

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

15:34 toppler has joined #ocaml

15:37 toppler has quit [Read error: Connection reset by peer]

15:37 toppler has joined #ocaml

15:40 AtumT_ has quit [Ping timeout: 240 seconds]

15:41 AtumT has joined #ocaml

15:41 toppler has quit [Read error: Connection reset by peer]

15:41 toppler has joined #ocaml

15:44 toppler has quit [Read error: Connection reset by peer]

15:45 toppler has joined #ocaml

15:48 toppler has quit [Read error: Connection reset by peer]

15:48 toppler has joined #ocaml

15:48 jnavila has joined #ocaml

15:51 toppler has quit [Read error: Connection reset by peer]

15:52 toppler has joined #ocaml

15:55 toppler has quit [Read error: Connection reset by peer]

15:55 toppler has joined #ocaml

15:58 toppler has quit [Read error: Connection reset by peer]

15:59 toppler has joined #ocaml

16:03 toppler has quit [Read error: Connection reset by peer]

16:03 toppler has joined #ocaml

16:08 orbifx1 has joined #ocaml

16:13 KeyJoo has joined #ocaml

16:15 jnavila has quit [Ping timeout: 246 seconds]

16:17 narimiran has joined #ocaml

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

16:35 toppler has joined #ocaml

16:38 toppler has quit [Read error: Connection reset by peer]

16:38 toppler has joined #ocaml

16:41 toppler has quit [Read error: Connection reset by peer]

16:42 toppler has joined #ocaml

16:45 toppler has quit [Read error: Connection reset by peer]

16:45 toppler has joined #ocaml

16:48 toppler has quit [Read error: Connection reset by peer]

16:48 toppler has joined #ocaml

16:51 toppler has quit [Read error: Connection reset by peer]

16:52 toppler has joined #ocaml

16:55 toppler has quit [Read error: Connection reset by peer]

16:55 toppler has joined #ocaml

16:58 toppler has quit [Read error: Connection reset by peer]

16:58 toppler has joined #ocaml

17:03 toppler has quit [Read error: Connection reset by peer]

17:03 toppler has joined #ocaml

17:06 toppler has quit [Read error: Connection reset by peer]

17:07 toppler has joined #ocaml

17:09 FreeBirdLjj has joined #ocaml

17:10 toppler has quit [Read error: Connection reset by peer]

17:10 toppler has joined #ocaml

17:13 FreeBirdLjj has quit [Ping timeout: 240 seconds]

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

17:14 toppler has joined #ocaml

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

17:18 toppler has joined #ocaml

17:21 toppler has quit [Read error: Connection reset by peer]

17:21 toppler has joined #ocaml

17:25 toppler has quit [Remote host closed the connection]

17:25 toppler has joined #ocaml

17:28 toppler has quit [Read error: Connection reset by peer]

17:28 toppler has joined #ocaml

17:30 kleisli has joined #ocaml

17:32 toppler has quit [Read error: Connection reset by peer]

17:32 toppler has joined #ocaml

17:35 <Armael> but metamath proofs are super low level, aren't they?

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

17:36 toppler has joined #ocaml

17:39 kjak has joined #ocaml

17:39 toppler has quit [Read error: Connection reset by peer]

17:39 toppler has joined #ocaml

17:40 <Armael> I mean sure your assembler is going to process lines of assembly faster than your c++ compiler is going to process lines of c++

17:43 toppler has quit [Read error: Connection reset by peer]

17:43 toppler has joined #ocaml

17:47 toppler has quit [Read error: Connection reset by peer]

17:47 kleisli has quit [Ping timeout: 268 seconds]

17:47 toppler has joined #ocaml

17:50 malc_ has joined #ocaml

17:50 analogue has joined #ocaml

17:50 Ekho- is now known as Ekho

17:51 toppler has quit [Read error: Connection reset by peer]

17:51 toppler has joined #ocaml

17:55 toppler has quit [Read error: Connection reset by peer]

17:55 toppler has joined #ocaml

17:56 kleisli has joined #ocaml

17:57 Hrundi_V_Bakshi has joined #ocaml

17:58 toppler has quit [Read error: Connection reset by peer]

17:59 toppler has joined #ocaml

18:03 toppler has quit [Read error: Connection reset by peer]

18:03 toppler has joined #ocaml

18:06 toppler has quit [Read error: Connection reset by peer]

18:06 toppler has joined #ocaml

18:09 toppler has quit [Read error: Connection reset by peer]

18:10 toppler has joined #ocaml

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

18:13 toppler has joined #ocaml

18:14 <olle> simpson: impressive

18:16 toppler has quit [Read error: Connection reset by peer]

18:17 toppler has joined #ocaml

18:20 toppler has quit [Read error: Connection reset by peer]

18:20 toppler has joined #ocaml

18:24 toppler has quit [Read error: Connection reset by peer]

18:24 toppler has joined #ocaml

18:27 toppler has quit [Read error: Connection reset by peer]

18:28 toppler has joined #ocaml

18:31 toppler has quit [Read error: Connection reset by peer]

18:32 toppler has joined #ocaml

18:33 jao has joined #ocaml

18:33 jao is now known as Guest7083

18:35 <olle> Armael: how would you know_

18:35 <olle> ?

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

18:36 toppler has joined #ocaml

18:36 Guest7083 has quit [Remote host closed the connection]

18:37 jao- has joined #ocaml

18:37 jao- is now known as jao

18:39 toppler has quit [Read error: Connection reset by peer]

18:39 toppler has joined #ocaml

18:43 toppler has quit [Read error: Connection reset by peer]

18:43 toppler has joined #ocaml

18:47 toppler has quit [Read error: Connection reset by peer]

18:47 toppler has joined #ocaml

18:51 toppler has quit [Read error: Connection reset by peer]

18:51 toppler has joined #ocaml

18:52 KeyJoo has quit [Read error: Connection reset by peer]

18:53 KeyJoo has joined #ocaml

18:55 toppler has quit [Read error: Connection reset by peer]

18:56 toppler has joined #ocaml

18:57 kleisli has quit [Ping timeout: 240 seconds]

18:58 jnavila has joined #ocaml

18:59 toppler has quit [Read error: Connection reset by peer]

18:59 toppler has joined #ocaml

19:04 toppler has quit [Ping timeout: 240 seconds]

19:04 toppler has joined #ocaml

19:07 orbifx1 has quit [Ping timeout: 268 seconds]

19:07 toppler has quit [Read error: Connection reset by peer]

19:08 toppler has joined #ocaml

19:11 toppler has quit [Read error: Connection reset by peer]

19:11 toppler has joined #ocaml

19:15 toppler has quit [Read error: Connection reset by peer]

19:16 toppler has joined #ocaml

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

19:19 toppler has joined #ocaml

19:23 toppler has quit [Read error: Connection reset by peer]

19:24 toppler has joined #ocaml

19:28 toppler has quit [Read error: Connection reset by peer]

19:28 toppler has joined #ocaml

19:32 toppler has quit [Read error: Connection reset by peer]

19:32 toppler has joined #ocaml

19:36 toppler has quit [Read error: Connection reset by peer]

19:36 toppler has joined #ocaml

19:40 toppler has quit [Read error: Connection reset by peer]

19:40 toppler has joined #ocaml

19:43 toppler has quit [Read error: Connection reset by peer]

19:44 toppler has joined #ocaml

19:48 toppler has quit [Read error: Connection reset by peer]

19:48 toppler has joined #ocaml

19:51 toppler has quit [Read error: Connection reset by peer]

19:52 toppler has joined #ocaml

19:54 narimiran has quit [Ping timeout: 240 seconds]

19:55 toppler has quit [Read error: Connection reset by peer]

19:55 toppler has joined #ocaml

19:59 toppler has quit [Read error: Connection reset by peer]

19:59 toppler has joined #ocaml

20:03 KeyJoo has quit [Quit: KeyJoo]

20:04 toppler has quit [Read error: Connection reset by peer]

20:04 toppler has joined #ocaml

20:06 gravicappa has quit [Ping timeout: 246 seconds]

20:06 ggole has quit [Quit: Leaving]

20:08 toppler has quit [Read error: Connection reset by peer]

20:09 toppler has joined #ocaml

20:13 toppler has quit [Read error: Connection reset by peer]

20:13 toppler has joined #ocaml

20:17 toppler has quit [Read error: Connection reset by peer]

20:17 toppler has joined #ocaml

20:21 toppler has quit [Ping timeout: 250 seconds]

20:22 toppler has joined #ocaml

20:26 toppler has quit [Read error: Connection reset by peer]

20:26 toppler has joined #ocaml

20:29 kleisli has joined #ocaml

20:31 toppler has quit [Read error: Connection reset by peer]

20:31 toppler has joined #ocaml

20:35 toppler has quit [Read error: Connection reset by peer]

20:35 toppler has joined #ocaml

20:39 toppler has quit [Read error: Connection reset by peer]

20:40 toppler has joined #ocaml

20:44 toppler has quit [Read error: Connection reset by peer]

20:44 toppler has joined #ocaml

20:48 toppler has quit [Read error: Connection reset by peer]

20:48 toppler has joined #ocaml

20:52 toppler has quit [Read error: Connection reset by peer]

20:52 toppler has joined #ocaml

20:54 analogue has quit [Quit: Leaving]

20:56 toppler has quit [Read error: Connection reset by peer]

20:56 dhil has joined #ocaml

20:57 toppler has joined #ocaml

21:01 toppler has quit [Ping timeout: 240 seconds]

21:02 toppler has joined #ocaml

21:03 jnavila has quit [Ping timeout: 246 seconds]

21:06 toppler has quit [Read error: Connection reset by peer]

21:06 toppler has joined #ocaml

21:09 ravenousmoose has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

21:10 toppler has quit [Read error: Connection reset by peer]

21:11 toppler has joined #ocaml

21:29 toppler has quit [Ping timeout: 240 seconds]

21:30 toppler has joined #ocaml

21:34 toppler has quit [Read error: Connection reset by peer]

21:34 toppler has joined #ocaml

21:38 toppler has quit [Read error: Connection reset by peer]

21:39 toppler has joined #ocaml

21:43 toppler has quit [Read error: Connection reset by peer]

21:43 toppler has joined #ocaml

21:44 dhil has quit [Ping timeout: 250 seconds]

21:47 toppler has quit [Read error: Connection reset by peer]

21:48 toppler has joined #ocaml

21:50 ravenousmoose has joined #ocaml

21:52 toppler has quit [Read error: Connection reset by peer]

21:52 toppler has joined #ocaml

21:53 kleisli has quit [Ping timeout: 265 seconds]

21:54 ravenousmoose has quit [Ping timeout: 276 seconds]

21:57 toppler has quit [Read error: Connection reset by peer]

21:57 toppler has joined #ocaml

22:00 ravenousmoose has joined #ocaml

22:02 toppler has quit [Ping timeout: 265 seconds]

22:02 toppler has joined #ocaml

22:02 kvda has quit [Quit: Textual IRC Client: www.textualapp.com]

22:04 iovec has joined #ocaml

22:04 ravenousmoose has quit [Ping timeout: 250 seconds]

22:06 toppler has quit [Read error: Connection reset by peer]

22:07 toppler has joined #ocaml

22:11 toppler has quit [Read error: Connection reset by peer]

22:11 toppler has joined #ocaml

22:16 toppler has quit [Ping timeout: 240 seconds]

22:16 toppler has joined #ocaml

22:20 toppler has quit [Read error: Connection reset by peer]

22:20 ravenousmoose has joined #ocaml

22:21 toppler has joined #ocaml

22:23 malc_ has quit [Quit: ERC (IRC client for Emacs 27.0.50)]

22:25 toppler has quit [Read error: Connection reset by peer]

22:25 toppler has joined #ocaml

22:25 ravenousmoose has quit [Ping timeout: 264 seconds]

22:29 toppler has quit [Read error: Connection reset by peer]

22:29 toppler has joined #ocaml

22:34 toppler has quit [Read error: Connection reset by peer]

22:34 toppler has joined #ocaml

22:38 toppler has quit [Read error: Connection reset by peer]

22:38 toppler has joined #ocaml

22:42 toppler has quit [Read error: Connection reset by peer]

22:43 toppler has joined #ocaml

22:46 kakadu has quit [Remote host closed the connection]

22:47 toppler has quit [Read error: Connection reset by peer]

22:47 toppler has joined #ocaml

22:52 toppler has quit [Read error: Connection reset by peer]

22:52 toppler has joined #ocaml

22:56 toppler has quit [Read error: Connection reset by peer]

22:57 toppler has joined #ocaml

23:01 toppler has quit [Read error: Connection reset by peer]

23:01 toppler has joined #ocaml

23:06 toppler has quit [Read error: Connection reset by peer]

23:06 toppler has joined #ocaml

23:10 toppler has quit [Read error: Connection reset by peer]

23:11 toppler has joined #ocaml

23:15 toppler has quit [Ping timeout: 240 seconds]

23:16 toppler has joined #ocaml

23:20 toppler has quit [Ping timeout: 240 seconds]

23:22 toppler has joined #ocaml

23:26 toppler has quit [Read error: Connection reset by peer]

23:27 toppler has joined #ocaml

23:31 toppler has quit [Read error: Connection reset by peer]

23:32 toppler has joined #ocaml

23:32 ziyourenxiang_ has joined #ocaml

23:36 toppler has quit [Ping timeout: 240 seconds]

23:37 toppler has joined #ocaml

23:42 toppler has quit [Ping timeout: 240 seconds]

23:42 toppler has joined #ocaml

23:45 malina has joined #ocaml

23:47 toppler has quit [Ping timeout: 240 seconds]

23:47 toppler has joined #ocaml

23:52 malina has quit [Remote host closed the connection]

23:52 toppler has quit [Ping timeout: 250 seconds]

23:53 toppler has joined #ocaml

23:58 toppler has quit [Ping timeout: 265 seconds]

23:58 toppler has joined #ocaml