#ocaml on 2019-06-29 — irc logs at freenode.irclog.whitequark.org

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

00:06 jao has joined #ocaml

00:22 spew has quit [Quit: Connection closed for inactivity]

00:24 jao has quit [Remote host closed the connection]

00:46 jao has joined #ocaml

01:08 yrjan has quit [Quit: WeeChat 1.6]

01:15 AtumT has quit [Ping timeout: 258 seconds]

01:30 delysin has quit [Quit: WeeChat 2.5]

01:59 silver has quit [Read error: Connection reset by peer]

02:00 FreeBirdLjj has joined #ocaml

02:01 mfp has quit [Ping timeout: 244 seconds]

02:04 FreeBirdLjj has quit [Ping timeout: 246 seconds]

02:09 tizoc has quit [Quit: Coyote finally caught me]

02:38 sagax has quit [Ping timeout: 244 seconds]

02:41 hio has quit [Quit: Connection closed for inactivity]

02:48 nicoo has quit [Ping timeout: 260 seconds]

02:49 nicoo has joined #ocaml

02:54 jbrown has quit [Ping timeout: 252 seconds]

02:54 jbrown has joined #ocaml

03:10 jao has quit [Remote host closed the connection]

03:20 jao has joined #ocaml

03:42 jao has quit [Remote host closed the connection]

03:54 gravicappa has joined #ocaml

04:12 dhil has joined #ocaml

04:45 _whitelogger has joined #ocaml

04:58 dhil has quit [Ping timeout: 245 seconds]

05:17 Redfoxmoon has quit [Ping timeout: 245 seconds]

05:37 FreeBirdLjj has joined #ocaml

05:52 jmiven has quit [Quit: co'o]

05:53 jmiven has joined #ocaml

05:57 hio has joined #ocaml

06:00 narimiran has joined #ocaml

06:26 Redfoxmoon has joined #ocaml

07:23 narimiran has quit [Ping timeout: 245 seconds]

08:55 theglass has quit [Ping timeout: 268 seconds]

08:55 eskatrem has joined #ocaml

08:56 <eskatrem> Hello, does someone know what the command `predicates` does?

08:57 <eskatrem> #predicates, sorry

09:00 keep_learning_M has quit [Quit: This computer has gone to sleep]

09:00 theglass has joined #ocaml

09:00 theglass has quit [Changing host]

09:00 theglass has joined #ocaml

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

09:29 Redfoxmoon has quit [Changing host]

09:29 Redfoxmoon has joined #ocaml

09:32 FreeBirdLjj has quit [Remote host closed the connection]

09:33 FreeBirdLjj has joined #ocaml

09:38 FreeBirdLjj has quit [Ping timeout: 272 seconds]

09:41 dmiles has joined #ocaml

09:44 progman2019 has quit [Remote host closed the connection]

09:47 FreeBirdLjj has joined #ocaml

10:01 mfp has joined #ocaml

10:11 zolk3ri has joined #ocaml

10:27 Haudegen has joined #ocaml

10:31 FreeBirdLjj has quit [Remote host closed the connection]

10:36 jnavila has joined #ocaml

10:46 jnavila has quit [Ping timeout: 276 seconds]

10:52 sagax has joined #ocaml

11:01 silver has joined #ocaml

11:53 sz0 has quit [Quit: Connection closed for inactivity]

12:17 narimiran has joined #ocaml

12:36 il598 has left #ocaml [#ocaml]

13:03 AtumT has joined #ocaml

13:10 Anarchos has joined #ocaml

13:11 Anarchos has quit [Client Quit]

13:16 jao has joined #ocaml

13:41 narimiran has quit [Remote host closed the connection]

13:41 keep_learning_M has joined #ocaml

13:50 Haudegen has quit [Ping timeout: 268 seconds]

13:53 andreas31 has quit [Remote host closed the connection]

13:56 andreas31 has joined #ocaml

14:12 andreas31 has quit [Remote host closed the connection]

14:14 tizoc has joined #ocaml

14:15 andreas31 has joined #ocaml

14:16 Haudegen has joined #ocaml

14:33 keep_learning_M has quit [Quit: This computer has gone to sleep]

15:05 FreeBirdLjj has joined #ocaml

15:22 AtumT has quit [Ping timeout: 246 seconds]

15:28 AtumT has joined #ocaml

16:01 zolk3ri has quit [Remote host closed the connection]

16:05 Haudegen has quit [Read error: Connection reset by peer]

16:25 dhil has joined #ocaml

16:30 Jesin has quit [Quit: Leaving]

16:35 Jesin has joined #ocaml

16:40 ziyourenxiang has quit [Ping timeout: 244 seconds]

17:43 docl has left #ocaml [#ocaml]

18:11 FreeBirdLjj has quit [Remote host closed the connection]

18:18 bartholin has joined #ocaml

19:10 gravicappa has quit [Ping timeout: 248 seconds]

19:16 jbrown has quit [Ping timeout: 245 seconds]

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

19:50 jao has quit [Remote host closed the connection]

19:53 dhil has quit [Ping timeout: 258 seconds]

20:03 jao has joined #ocaml

20:08 dhil has joined #ocaml

20:15 dhil has quit [Ping timeout: 248 seconds]

20:41 oni-on-ion has quit [Remote host closed the connection]

20:41 oni-on-ion has joined #ocaml

20:55 silver has quit [Ping timeout: 258 seconds]

21:08 nolanv has quit [Quit: WeeChat 2.4]

21:40 oni-on-ion has quit [Remote host closed the connection]

21:40 oni-on-ion has joined #ocaml

22:23 oni-on-ion has quit [Remote host closed the connection]

22:31 jbrown has joined #ocaml

23:25 oni-on-ion has joined #ocaml

23:45 hio has quit [Quit: Connection closed for inactivity]

23:54 ziyourenxiang has joined #ocaml