#ocaml on 2020-02-01 — 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:19 smazga has quit [Quit: leaving]

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

00:59 delysin has joined #ocaml

01:29 brettgilio has joined #ocaml

01:41 amiloradovsky has quit [Ping timeout: 248 seconds]

01:50 olle has quit [Ping timeout: 268 seconds]

01:52 olle has joined #ocaml

02:05 FreeBirdLjj has joined #ocaml

02:10 FreeBirdLjj has quit [Ping timeout: 265 seconds]

02:14 zhenchao` has joined #ocaml

02:15 zhenchaoli has quit [Ping timeout: 260 seconds]

02:37 zhenchao` has quit [Ping timeout: 265 seconds]

02:39 brettgilio has quit [Quit: ZNC 1.7.5 - https://znc.in]

02:40 brettgilio has joined #ocaml

03:53 tormen has joined #ocaml

03:57 tormen_ has quit [Ping timeout: 268 seconds]

04:06 mfp has quit [Ping timeout: 268 seconds]

04:10 gravicappa has joined #ocaml

04:45 ggole has joined #ocaml

05:24 mahmudov has quit [Ping timeout: 240 seconds]

05:31 FreeBirdLjj has joined #ocaml

05:47 count3rmeasure has joined #ocaml

05:48 count3rmeasure has quit [Client Quit]

05:48 g0d_shatter has joined #ocaml

06:02 spew has quit [Quit: Connection closed for inactivity]

06:06 FreeBirdLjj has quit [Remote host closed the connection]

06:06 FreeBirdLjj has joined #ocaml

06:11 FreeBirdLjj has quit [Ping timeout: 260 seconds]

06:12 FreeBirdLjj has joined #ocaml

06:12 FreeBirdLjj has quit [Remote host closed the connection]

06:13 FreeBirdLjj has joined #ocaml

06:53 narimiran has joined #ocaml

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

07:01 jao has joined #ocaml

07:02 jao has quit [Changing host]

07:02 jao has joined #ocaml

07:05 malina has joined #ocaml

07:09 _whitelogger has joined #ocaml

07:10 FreeBirdLjj has quit [Ping timeout: 265 seconds]

07:33 malina has quit [Ping timeout: 268 seconds]

07:34 g0d_shatter has quit [Quit: Leaving]

07:39 jao has quit [Ping timeout: 265 seconds]

07:41 mahmudov has joined #ocaml

08:05 Haudegen has joined #ocaml

08:39 _whitelogger has joined #ocaml

08:43 ansiwen has quit [Quit: ZNC 1.7.1 - https://znc.in]

08:44 kakadu has joined #ocaml

09:11 ygrek_ has joined #ocaml

09:16 kakadu_ has joined #ocaml

09:16 kakadu has quit [Ping timeout: 268 seconds]

09:40 kakadu has joined #ocaml

09:40 kakadu_ has quit [Ping timeout: 265 seconds]

09:59 malina has joined #ocaml

10:30 ocaml459 has joined #ocaml

10:31 ocaml459 has quit [Client Quit]

10:34 ygrek_ has quit [Ping timeout: 265 seconds]

10:44 dborisog has joined #ocaml

10:45 mfp has joined #ocaml

10:59 mahmudov has quit [Quit: Leaving]

10:59 mahmudov has joined #ocaml

11:01 mahmudov has quit [Remote host closed the connection]

11:01 mahmudov has joined #ocaml

11:14 Anarchos has joined #ocaml

12:23 mahmudov has quit [Ping timeout: 268 seconds]

12:24 Anarchos has quit [Quit: Vision[0.10.3]: i've been blurred!]

12:33 hannes has quit [Remote host closed the connection]

12:38 hannes has joined #ocaml

14:23 robmyers has quit []

14:24 zolk3ri has joined #ocaml

14:24 robmyers has joined #ocaml

14:42 mbuf has joined #ocaml

14:56 mal`` has quit [Quit: Leaving]

15:20 mal`` has joined #ocaml

15:23 sagax has quit [Remote host closed the connection]

15:29 jnavila has joined #ocaml

16:17 sarna has quit [Quit: bye]

16:20 sarna has joined #ocaml

16:26 kakadu has quit [Quit: Konversation terminated!]

16:26 kakadu has joined #ocaml

16:35 narimiran has quit [Ping timeout: 265 seconds]

16:48 terrorjack___ has quit []

16:49 terrorjack___ has joined #ocaml

16:52 dckc has quit [Read error: Connection reset by peer]

16:53 dckc has joined #ocaml

16:58 sagax has joined #ocaml

17:03 Haudegen has quit [Quit: Bin weg.]

17:10 mahmudov has joined #ocaml

17:22 mbuf has quit [Quit: Leaving]

17:27 Anarchos has joined #ocaml

17:27 Anarchos has quit [Client Quit]

17:47 zolk3ri has quit [Remote host closed the connection]

18:00 jao has joined #ocaml

18:00 jao has quit [Changing host]

18:00 jao has joined #ocaml

18:05 FreeBird_ has quit [Remote host closed the connection]

18:10 sailor177354 has joined #ocaml

18:19 ggole has quit [Quit: Leaving]

18:46 dborisog has quit [Ping timeout: 268 seconds]

19:09 ocaml459 has joined #ocaml

19:11 ocaml459 has quit [Client Quit]

19:12 ocaml459 has joined #ocaml

19:12 Hrundi_V_Bakshi has joined #ocaml

19:13 ocaml459 has quit [Client Quit]

19:13 ocaml459 has joined #ocaml

19:14 oni-on-ion has joined #ocaml

19:15 ocaml459 has quit [Client Quit]

19:15 ocaml459 has joined #ocaml

19:17 ocaml459 has quit [Client Quit]

19:18 ocaml459 has joined #ocaml

19:19 Hrundi_V_Bakshi has quit [Quit: No Ping reply in 180 seconds.]

19:20 Hrundi_V_Bakshi has joined #ocaml

19:21 ocaml459 has quit [Client Quit]

19:21 ocaml459 has joined #ocaml

19:24 ocaml459 has quit [Client Quit]

19:24 ocaml459 has joined #ocaml

19:27 ocaml459 has quit [Client Quit]

19:27 ocaml459 has joined #ocaml

19:30 ocaml459 has quit [Client Quit]

19:30 ocaml459 has joined #ocaml

19:33 ocaml459 has quit [Client Quit]

19:33 ocaml459 has joined #ocaml

19:36 ocaml459 has quit [Client Quit]

19:36 ocaml459 has joined #ocaml

19:41 ocaml459 has quit [Client Quit]

19:41 ocaml459 has joined #ocaml

19:42 ocaml459 has quit [Client Quit]

19:42 ocaml459 has joined #ocaml

19:45 decentpenguin has joined #ocaml

19:47 ocaml459 has quit [Client Quit]

19:47 ocaml459 has joined #ocaml

19:48 ocaml459 has quit [Client Quit]

19:49 ocaml459 has joined #ocaml

19:52 ocaml459 has quit [Client Quit]

19:52 ocaml459 has joined #ocaml

19:53 ocaml459 has quit [Client Quit]

19:53 ocaml459 has joined #ocaml

19:54 narimiran has joined #ocaml

19:55 ocaml459 has quit [Client Quit]

19:56 ocaml459 has joined #ocaml

19:58 ocaml459 has quit [Client Quit]

19:58 ocaml459 has joined #ocaml

19:59 ocaml459 has quit [Client Quit]

19:59 ocaml459 has joined #ocaml

20:03 ocaml459 has quit [Client Quit]

20:03 ocaml459 has joined #ocaml

20:04 ocaml459 has quit [Client Quit]

20:04 ocaml459 has joined #ocaml

20:05 ocaml459 has quit [Client Quit]

20:06 ocaml459 has joined #ocaml

20:09 ocaml459 has quit [Client Quit]

20:09 ocaml459 has joined #ocaml

20:10 ocaml459 has quit [Client Quit]

20:10 ocaml459 has joined #ocaml

20:12 ocaml459 has quit [Client Quit]

20:12 ocaml459 has joined #ocaml

20:14 ocaml459 has quit [Client Quit]

20:14 ocaml459 has joined #ocaml

20:14 decentpenguin has quit [Quit: decentpenguin]

20:15 ocaml459 has quit [Client Quit]

20:15 ocaml459 has joined #ocaml

20:16 ocaml459 has quit [Client Quit]

20:16 ocaml459 has joined #ocaml

20:18 ocaml459 has quit [Client Quit]

20:18 ocaml459 has joined #ocaml

20:20 ocaml459 has quit [Client Quit]

20:20 ocaml459 has joined #ocaml

20:21 ocaml459 has quit [Client Quit]

20:22 ocaml459 has joined #ocaml

20:23 ocaml459 has quit [Client Quit]

20:23 ocaml459 has joined #ocaml

20:25 ocaml459 has quit [Client Quit]

20:25 ocaml459 has joined #ocaml

20:27 ocaml459 has quit [Client Quit]

20:28 ocaml459 has joined #ocaml

20:29 ocaml459 has quit [Client Quit]

20:29 ocaml459 has joined #ocaml

20:31 ocaml459 has quit [Client Quit]

20:31 ocaml459 has joined #ocaml

20:33 ocaml459 has quit [Client Quit]

20:34 ocaml459 has joined #ocaml

20:36 ocaml459 has quit [Client Quit]

20:36 ocaml459 has joined #ocaml

20:37 ocaml459 has quit [Client Quit]

20:37 ocaml459 has joined #ocaml

20:40 ocaml459 has quit [Client Quit]

20:40 ocaml459 has joined #ocaml

20:42 ocaml459 has quit [Client Quit]

20:42 ocaml459 has joined #ocaml

20:43 ocaml459 has quit [Client Quit]

20:43 ocaml459 has joined #ocaml

20:45 ocaml459 has quit [Client Quit]

20:45 ocaml459 has joined #ocaml

20:47 ocaml459 has quit [Client Quit]

20:47 ocaml459 has joined #ocaml

20:48 ocaml459 has quit [Client Quit]

20:48 ocaml459 has joined #ocaml

20:50 ocaml459 has quit [Client Quit]

20:50 ocaml459 has joined #ocaml

20:52 ocaml459 has quit [Client Quit]

20:52 ocaml459 has joined #ocaml

20:54 ygrek_ has joined #ocaml

20:54 ocaml459 has quit [Client Quit]

20:55 ocaml459 has joined #ocaml

20:59 ocaml459 has quit [Client Quit]

20:59 ocaml459 has joined #ocaml

21:02 ocaml459 has quit [Client Quit]

21:02 ocaml459 has joined #ocaml

21:05 ocaml459 has quit [Client Quit]

21:05 ocaml459 has joined #ocaml

21:05 sugarwren has joined #ocaml

21:08 ocaml459 has quit [Client Quit]

21:08 ocaml459 has joined #ocaml

21:10 ocaml459 has quit [Client Quit]

21:10 ocaml459 has joined #ocaml

21:13 gravicappa has quit [Ping timeout: 265 seconds]

21:14 ocaml459 has quit [Client Quit]

21:14 ocaml459 has joined #ocaml

21:16 ocaml459 has quit [Client Quit]

21:17 ocaml459 has joined #ocaml

21:19 ocaml459 has quit [Client Quit]

21:20 ocaml459 has joined #ocaml

21:23 ocaml459 has quit [Client Quit]

21:23 ocaml459 has joined #ocaml

21:26 ocaml459 has quit [Client Quit]

21:26 ocaml459 has joined #ocaml

21:29 ocaml459 has quit [Client Quit]

21:30 ocaml459 has joined #ocaml

21:31 ocaml459 has quit [Client Quit]

21:32 ocaml459 has joined #ocaml

21:32 kleisli has quit [Ping timeout: 268 seconds]

21:36 ocaml459 has quit [Client Quit]

21:37 ocaml459 has joined #ocaml

21:38 ocaml459 has quit [Client Quit]

21:38 jnavila has quit [Remote host closed the connection]

21:38 ocaml459 has joined #ocaml

21:43 ocaml459 has quit [Client Quit]

21:43 ocaml459 has joined #ocaml

21:46 sailor177354 has quit [Quit: Leaving]

21:49 ocaml459 has quit [Quit: http://www.kiwiirc.com/ - A hand crafted IRC client]

21:49 ocaml459 has joined #ocaml

21:55 ocaml459 has quit [Quit: http://www.kiwiirc.com/ - A hand crafted IRC client]

21:55 ocaml459 has joined #ocaml

22:01 ocaml459 has quit [Quit: http://www.kiwiirc.com/ - A hand crafted IRC client]

22:01 ocaml459 has joined #ocaml

22:04 ocaml459 has quit [Client Quit]

22:15 kleisli has joined #ocaml

22:23 narimiran has quit [Ping timeout: 268 seconds]

22:44 amiloradovsky has joined #ocaml

22:57 _whitelogger has joined #ocaml

23:02 serge has quit [Remote host closed the connection]

23:02 serge has joined #ocaml

23:06 noway96 has joined #ocaml

23:07 <noway96> Are the types 'a list list and ('a list) list equivalent?

23:07 serge has quit [Ping timeout: 265 seconds]

23:07 <Fardale> yes, 'a (list list) is not valid

23:18 serge has joined #ocaml

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

23:23 serge has quit [Ping timeout: 265 seconds]

23:31 serge has joined #ocaml

23:33 kakadu has quit [Remote host closed the connection]

23:34 TC01 has quit [Ping timeout: 268 seconds]

23:35 serge has quit [Ping timeout: 240 seconds]

23:35 TC01 has joined #ocaml

23:41 serge has joined #ocaml

23:46 serge has quit [Ping timeout: 265 seconds]