#ocaml on 2019-01-05 — irc logs at freenode.irclog.whitequark.org

2018-10-19 11:39 adrien changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org | OCaml 4.07.1 release notes: https://caml.inria.fr/pub/distrib/ocaml-4.07/notes/Changes | Try OCaml in your browser: http://try.ocamlpro.com | Public channel logs at http://irclog.whitequark.org/ocaml | Due to ongoing spam, you must register your nickname to talk on the channel

00:03 bartholin has quit [Remote host closed the connection]

00:09 <companion_cube> some libraries provide that (eg Containers.List.drop)

01:08 marvin2 has joined #ocaml

01:12 rntz is now known as rntz_tmp

01:14 Haudegen has quit [Remote host closed the connection]

01:18 jbrown has joined #ocaml

01:26 tennix has joined #ocaml

01:28 tennix has quit [Client Quit]

01:32 spew has quit [Quit: Connection closed for inactivity]

01:50 sonologico has joined #ocaml

01:59 equalunique[m] has quit [Quit: removing from IRC because user idle on matrix for 30+ days]

01:59 unyu has quit [Quit: brb]

01:59 magic_gum[m] has quit [Quit: removing from IRC because user idle on matrix for 30+ days]

02:00 unyu has joined #ocaml

02:00 remix2000[m] has quit [Quit: removing from IRC because user idle on matrix for 30+ days]

02:03 drsmkl[m] has quit [Quit: removing from IRC because user idle on matrix for 30+ days]

02:08 Bluddy[m] has quit [Quit: removing from IRC because user idle on matrix for 30+ days]

02:08 gideonsmeding[m] has quit [Quit: removing from IRC because user idle on matrix for 30+ days]

02:09 voglerr[m] has quit [Quit: removing from IRC because user idle on matrix for 30+ days]

02:12 juxt[m] has quit [Quit: removing from IRC because user idle on matrix for 30+ days]

02:28 Multiocracy[m] has quit [Quit: removing from IRC because user idle on matrix for 30+ days]

02:37 sonologico has quit [Ping timeout: 240 seconds]

02:40 mfp has quit [Ping timeout: 250 seconds]

02:46 sonologico has joined #ocaml

02:55 ygrek has quit [Ping timeout: 244 seconds]

03:03 unyu has quit [Quit: brb]

03:04 unyu has joined #ocaml

03:17 tormen has joined #ocaml

03:20 tormen_ has quit [Ping timeout: 250 seconds]

04:01 rnmhdn has joined #ocaml

04:09 rnmhdn has quit [Ping timeout: 250 seconds]

04:37 rnmhdn has joined #ocaml

04:39 jao has quit [Ping timeout: 250 seconds]

04:52 gravicappa has joined #ocaml

04:53 rnmhdn has quit [Ping timeout: 272 seconds]

05:07 initiumdoeslinux has joined #ocaml

05:11 initiumdoeslinux has quit [Ping timeout: 244 seconds]

05:17 jao has joined #ocaml

05:21 _whitelogger has joined #ocaml

05:33 jao has quit [Ping timeout: 250 seconds]

06:05 sonologico has quit [Ping timeout: 250 seconds]

06:24 iovec has quit [Quit: Connection closed for inactivity]

06:27 _y has quit [Killed (herbert.freenode.net (Nickname regained by services))]

06:27 __y has joined #ocaml

06:36 _whitelogger_ has joined #ocaml

06:39 _whitelogger has quit [Remote host closed the connection]

06:51 _whitelogger has joined #ocaml

07:57 pierpal has quit [Quit: Poof]

07:58 pierpal has joined #ocaml

08:00 rnmhdn has joined #ocaml

08:06 _whitelogger has joined #ocaml

08:26 kakadu has joined #ocaml

08:28 rnmhdn has quit [Ping timeout: 250 seconds]

08:32 jnavila has joined #ocaml

09:06 seliopou has quit [Ping timeout: 244 seconds]

09:08 sonologico has joined #ocaml

09:11 seliopou has joined #ocaml

09:19 rnmhdn has joined #ocaml

09:23 jnavila has quit [Ping timeout: 246 seconds]

09:51 pierpal has quit [Read error: Connection reset by peer]

09:59 bartholin has joined #ocaml

10:30 FreeBirdLjj has joined #ocaml

10:34 iovec has joined #ocaml

10:39 _whitelogger has joined #ocaml

10:40 pierpal has joined #ocaml

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

10:42 FreeBirdLjj has joined #ocaml

10:47 FreeBirdLjj has quit [Ping timeout: 258 seconds]

10:56 hcarty[m] has quit [Remote host closed the connection]

10:56 talyian[m] has quit [Remote host closed the connection]

10:56 srenatus[m] has quit [Remote host closed the connection]

10:56 dl3br[m] has quit [Write error: Connection reset by peer]

10:56 rgr[m] has quit [Remote host closed the connection]

10:56 Walter[m] has quit [Remote host closed the connection]

10:56 sepp2k has quit [Remote host closed the connection]

10:56 aspiwack[m] has quit [Read error: Connection reset by peer]

10:56 copy` has quit [Remote host closed the connection]

10:56 peddie has quit [Read error: Connection reset by peer]

10:56 regnat[m] has quit [Remote host closed the connection]

10:56 spectrumgomas[m] has quit [Remote host closed the connection]

10:56 Haudegen[m] has quit [Remote host closed the connection]

10:56 jimt[m] has quit [Read error: Connection reset by peer]

10:56 yetanotherion[m] has quit [Remote host closed the connection]

10:56 cgenie[m] has quit [Remote host closed the connection]

10:56 isaachodes[m] has quit [Remote host closed the connection]

10:56 abcxyz[m] has quit [Remote host closed the connection]

10:56 bglm[m] has quit [Read error: Connection reset by peer]

10:56 flux[m] has quit [Read error: Connection reset by peer]

10:56 smondet[m] has quit [Read error: Connection reset by peer]

10:56 hdurer[m] has quit [Remote host closed the connection]

10:56 ttt123[m] has quit [Remote host closed the connection]

10:59 jave has quit [Ping timeout: 246 seconds]

11:06 aspiwack[m] has joined #ocaml

11:06 jave has joined #ocaml

11:15 FreeBirdLjj has joined #ocaml

11:16 tizoc has quit [Quit: Coyote finally caught me]

11:16 tizoc has joined #ocaml

11:19 Serpent7776 has joined #ocaml

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

11:19 FreeBirdLjj has joined #ocaml

11:28 jnavila has joined #ocaml

11:36 dl3br[m] has joined #ocaml

11:36 Haudegen[m] has joined #ocaml

11:36 bglm[m] has joined #ocaml

11:36 copy` has joined #ocaml

11:36 flux[m] has joined #ocaml

11:36 smondet[m] has joined #ocaml

11:36 yetanotherion[m] has joined #ocaml

11:36 srenatus[m] has joined #ocaml

11:36 jimt[m] has joined #ocaml

11:36 peddie has joined #ocaml

11:36 hdurer[m] has joined #ocaml

11:36 spectrumgomas[m] has joined #ocaml

11:36 sepp2k has joined #ocaml

11:36 cgenie[m] has joined #ocaml

11:36 regnat[m] has joined #ocaml

11:36 abcxyz[m] has joined #ocaml

11:36 isaachodes[m] has joined #ocaml

11:36 ttt123[m] has joined #ocaml

11:36 Walter[m] has joined #ocaml

11:36 rgr[m] has joined #ocaml

11:36 hcarty[m] has joined #ocaml

11:36 talyian[m] has joined #ocaml

11:37 steenuil_ has joined #ocaml

11:39 steenuil has quit [Ping timeout: 244 seconds]

11:46 jnavila has quit [Ping timeout: 252 seconds]

11:47 pierpal has quit [Ping timeout: 245 seconds]

11:49 pierpal has joined #ocaml

12:20 jnavila has joined #ocaml

12:38 nullifidian has quit [Read error: Connection reset by peer]

12:38 sonologico has quit [Ping timeout: 240 seconds]

12:38 nullifidian has joined #ocaml

12:52 lostman has joined #ocaml

13:05 emily has joined #ocaml

13:18 Haudegen has joined #ocaml

13:34 ggole has joined #ocaml

13:37 demonimin has joined #ocaml

13:39 FreeBirdLjj has quit [Remote host closed the connection]

13:39 fraxamo has joined #ocaml

13:40 pierpal has quit [Quit: Poof]

13:41 pierpal has joined #ocaml

13:55 emily has quit [Quit: leaving]

14:00 jao has joined #ocaml

14:49 sapristi has joined #ocaml

14:52 rnmhdn has left #ocaml ["WeeChat 2.3"]

14:59 silver has joined #ocaml

15:56 pierpal has quit [Quit: Poof]

15:56 sonologico has joined #ocaml

15:56 pierpal has joined #ocaml

16:09 sonologico has quit [Remote host closed the connection]

16:09 sonologico has joined #ocaml

16:14 sonologico has quit [Remote host closed the connection]

16:31 mfp has quit [Ping timeout: 258 seconds]

16:32 lostman has quit [Quit: Connection closed for inactivity]

16:38 sonologico has joined #ocaml

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

16:53 sonologico has quit [Remote host closed the connection]

16:57 mfp has joined #ocaml

17:16 marvin2 has quit [Ping timeout: 240 seconds]

17:23 Haudegen has joined #ocaml

17:26 Exagone313 has quit [Ping timeout: 245 seconds]

17:30 Exagone313 has joined #ocaml

18:57 pierpal has quit [Read error: Connection reset by peer]

18:57 pierpal has joined #ocaml

18:59 gravicappa has quit [Ping timeout: 250 seconds]

19:02 pierpal has quit [Ping timeout: 258 seconds]

19:05 pierpal has joined #ocaml

19:09 pierpal has quit [Ping timeout: 240 seconds]

19:17 jnavila has quit [Ping timeout: 246 seconds]

19:32 initiumdoeslinux has joined #ocaml

19:37 initiumdoeslinux has quit [Ping timeout: 258 seconds]

19:38 ggole has quit [Quit: ggole]

19:42 pierpal has joined #ocaml

19:47 recj has quit [Ping timeout: 245 seconds]

19:49 pierpal has quit [Ping timeout: 258 seconds]

19:55 pierpal has joined #ocaml

19:55 fraxamo has quit [Quit: Leaving]

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

20:00 recj has joined #ocaml

20:01 jnavila has joined #ocaml

20:06 pierpal has joined #ocaml

20:09 pierpal has quit [Read error: Connection reset by peer]

20:11 pierpal has joined #ocaml

20:18 pierpal has quit [Ping timeout: 246 seconds]

20:43 pierpal has joined #ocaml

20:46 jnavila has quit [Ping timeout: 252 seconds]

20:47 pierpal has quit [Ping timeout: 258 seconds]

20:50 pierpal has joined #ocaml

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

21:00 pierpal has joined #ocaml

21:03 pierpal has quit [Read error: Connection reset by peer]

21:06 pierpal has joined #ocaml

21:09 cthuluh has quit [Ping timeout: 244 seconds]

21:11 pierpal has quit [Ping timeout: 240 seconds]

21:19 pierpal has joined #ocaml

21:26 pierpal has quit [Ping timeout: 258 seconds]

21:31 marvin2 has joined #ocaml

21:34 pierpal has joined #ocaml

21:38 initiumdoeslinux has joined #ocaml

21:41 pierpal has quit [Ping timeout: 268 seconds]

21:43 initiumdoeslinux has quit [Ping timeout: 258 seconds]

21:45 pierpal has joined #ocaml

21:49 pierpal has quit [Ping timeout: 240 seconds]

21:53 nullifidian has quit [Read error: Connection reset by peer]

21:54 nullifidian has joined #ocaml

21:59 pierpal has joined #ocaml

22:06 pierpal has quit [Ping timeout: 246 seconds]

22:15 pierpal has joined #ocaml

22:22 pierpal has quit [Ping timeout: 258 seconds]

22:24 pierpal has joined #ocaml

22:28 pierpal has quit [Ping timeout: 245 seconds]

22:50 jnavila has joined #ocaml

22:57 pierpal has joined #ocaml

23:05 webshinra has joined #ocaml

23:14 cthuluh has joined #ocaml

23:18 zv has quit [Ping timeout: 250 seconds]

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

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

23:38 sapristi has quit [Remote host closed the connection]

23:47 Serpent7776 has quit [Quit: leaving]