#ocaml on 2018-10-15 — irc logs at freenode.irclog.whitequark.org

2018-08-02 09:43 adrien changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org | OCaml 4.07.0 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 ziyourenxiang has joined #ocaml

00:10 carlosdagos has joined #ocaml

00:18 JimmyRcom has quit [Ping timeout: 250 seconds]

00:31 mfp has quit [Ping timeout: 244 seconds]

00:38 neatonk has joined #ocaml

00:42 neatonk has quit [Ping timeout: 245 seconds]

00:50 spew has joined #ocaml

00:58 rdivyanshu has joined #ocaml

01:02 rdivyanshu has quit [Ping timeout: 250 seconds]

01:03 kvda has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

01:21 jbrown has quit [Ping timeout: 260 seconds]

01:22 jbrown has joined #ocaml

01:27 djellemah_ has joined #ocaml

01:31 djellemah has quit [Ping timeout: 276 seconds]

02:06 themsay has quit [Quit: Quit]

02:06 themsay has joined #ocaml

02:12 _whitelogger has joined #ocaml

02:18 kvda has joined #ocaml

02:28 tormen has joined #ocaml

02:31 tormen_ has quit [Ping timeout: 252 seconds]

02:38 rdivyanshu has joined #ocaml

02:43 rdivyanshu has quit [Ping timeout: 276 seconds]

02:50 themsay has quit [Ping timeout: 244 seconds]

02:55 themsay has joined #ocaml

02:57 rdivyanshu has joined #ocaml

02:58 rdivyanshu has quit [Client Quit]

03:14 emily has quit [Ping timeout: 250 seconds]

03:33 spew has quit [Ping timeout: 272 seconds]

03:56 emily has joined #ocaml

04:51 kvda has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

04:53 kvda has joined #ocaml

04:55 kvda has quit [Client Quit]

05:37 ggole has joined #ocaml

05:58 ggole has quit [Quit: ggole]

06:56 noitakomentaja has joined #ocaml

07:05 Haudegen has joined #ocaml

07:23 djellemah_ is now known as djellemah

07:38 themsay has quit [Ping timeout: 244 seconds]

07:48 rand__ has joined #ocaml

07:53 orbifx2 has joined #ocaml

08:02 bartholin has quit [Remote host closed the connection]

08:17 nullifidian__ is now known as nullifidian

08:20 themsay has joined #ocaml

08:22 ollehar has joined #ocaml

08:24 themsay has quit [Ping timeout: 260 seconds]

08:25 rand__ has quit [Ping timeout: 252 seconds]

08:25 kvda has joined #ocaml

08:46 rand__ has joined #ocaml

08:50 ollehar has quit [Read error: Connection reset by peer]

08:50 orbifx2 has quit [Ping timeout: 272 seconds]

09:13 kvda has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

09:16 kvda has joined #ocaml

09:41 noitakomentaja has quit [Ping timeout: 252 seconds]

09:48 noitakomentaja has joined #ocaml

10:07 carlosdagos has quit [Quit: Connection closed for inactivity]

10:09 ggole has joined #ocaml

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

12:10 kvda has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

12:11 keep_learning has quit [Ping timeout: 250 seconds]

12:27 spew has joined #ocaml

12:31 erkin has joined #ocaml

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

12:48 noitakomentaja has quit [Ping timeout: 252 seconds]

13:02 kvda has joined #ocaml

13:03 kvda has quit [Client Quit]

13:09 silver has joined #ocaml

13:09 spew has joined #ocaml

13:26 dmbaturin has quit [Ping timeout: 268 seconds]

13:26 dmbaturin has joined #ocaml

13:53 valtr has joined #ocaml

14:06 neatonk has joined #ocaml

14:06 MadcapJake has quit [Quit: MadcapJake]

14:13 neatonk1 has joined #ocaml

14:15 neatonk has quit [Ping timeout: 252 seconds]

14:27 _whitelogger has joined #ocaml

14:33 maarhart has joined #ocaml

14:36 FreeBirdLjj has joined #ocaml

14:36 maarhart has quit [Client Quit]

14:37 maarhart has joined #ocaml

14:39 al-damiri has joined #ocaml

14:47 ollehar has joined #ocaml

14:47 <ollehar> Hi! Did anyone here hear about the programming language Granule? https://granule-project.github.io/granule.html

14:48 <ollehar> Functional with effects and linear types.

14:48 <ollehar> Looks interesting.

14:48 <ollehar> (Academic prototype so far.)

15:06 ygrek_ has joined #ocaml

15:22 silver has quit [Quit: rakede]

15:22 JimmyRcom has joined #ocaml

15:30 webshinra has quit [Read error: Connection reset by peer]

15:34 maarhart has quit [Quit: Mutter: www.mutterirc.com]

15:34 wickedshell has quit [Ping timeout: 260 seconds]

15:35 wickedshell has joined #ocaml

15:59 ziyourenxiang has quit [Ping timeout: 252 seconds]

16:04 FreeBirdLjj has quit [Remote host closed the connection]

16:06 ollehar has quit [Ping timeout: 252 seconds]

16:08 maarhart has joined #ocaml

16:15 maarhart has quit [Ping timeout: 252 seconds]

16:18 rand__ has quit [Ping timeout: 245 seconds]

16:25 Haudegen has joined #ocaml

16:31 ygrek_ has quit [Ping timeout: 272 seconds]

16:34 JimmyRcom has quit [Ping timeout: 252 seconds]

16:39 orbifx2 has joined #ocaml

16:54 fraxamo has joined #ocaml

16:56 kakadu has joined #ocaml

17:00 jnavila has joined #ocaml

17:04 JimmyRcom has joined #ocaml

17:08 orbifx2 has quit [Ping timeout: 246 seconds]

17:08 bartholin has joined #ocaml

17:20 jnavila has quit [Ping timeout: 272 seconds]

17:22 jnavila has joined #ocaml

17:25 ars23 has joined #ocaml

17:28 jnavila has quit [Remote host closed the connection]

17:30 jnavila has joined #ocaml

17:39 olle has joined #ocaml

17:50 maarhart has joined #ocaml

17:56 maarhart has quit [Quit: Mutter: www.mutterirc.com]

18:19 olle has quit [Remote host closed the connection]

18:28 jbrown has quit [Ping timeout: 250 seconds]

18:32 shakalaka has joined #ocaml

18:41 jbrown has joined #ocaml

18:41 spew has quit [Quit: brb]

18:45 spew has joined #ocaml

18:49 webshinra has joined #ocaml

18:53 ars23 has quit [Remote host closed the connection]

18:55 aciniglio has joined #ocaml

18:59 fraxamo has quit [Quit: Leaving]

19:01 Jesin has quit [Quit: Leaving]

19:16 silver has joined #ocaml

19:17 JimmyRcom has quit [Ping timeout: 276 seconds]

19:47 Haudegen has quit [Remote host closed the connection]

19:55 kakadu_ has joined #ocaml

20:02 themsay has joined #ocaml

20:13 Haudegen has joined #ocaml

20:15 ggole has quit [Remote host closed the connection]

20:17 bartholin has quit [Remote host closed the connection]

20:55 kakadu__ has joined #ocaml

20:57 kakadu_ has quit [Ping timeout: 244 seconds]

21:02 dreamer has quit [Ping timeout: 244 seconds]

21:10 tg has quit [Ping timeout: 245 seconds]

21:14 JimmyRcom has joined #ocaml

21:20 nicoo has quit [Ping timeout: 256 seconds]

21:21 Jesin has joined #ocaml

21:23 kvda has joined #ocaml

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

21:26 nicoo has joined #ocaml

21:31 JimmyRcom has quit [Ping timeout: 252 seconds]

21:31 aciniglio has quit [Ping timeout: 252 seconds]

21:39 silver_ has joined #ocaml

21:39 tg has joined #ocaml

21:42 silver has quit [Ping timeout: 245 seconds]

21:53 MadcapJake has joined #ocaml

21:54 Haudegen has quit [Read error: Connection reset by peer]

22:02 kvda has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

22:02 kvda has joined #ocaml

22:36 kakadu__ has quit [Remote host closed the connection]

22:37 kvda has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

22:40 kvda has joined #ocaml

23:08 spew has quit [Quit: Connection closed for inactivity]

23:15 _whitelogger has joined #ocaml

23:29 carlosdagos has joined #ocaml

23:41 r3s1stanc3 has quit [Ping timeout: 245 seconds]

23:42 r3s1stanc3 has joined #ocaml

23:48 kvda has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

23:57 kvda has joined #ocaml