#ocaml on 2014-05-29 — irc logs at freenode.irclog.whitequark.org

2014-05-04 09:53 ChanServ changed the topic of #ocaml to: Discussions about the OCaml programming language | http://caml.inria.fr/ | http://www.ocaml.org | OCaml 4.01.0 announce at http://bit.ly/1851A3R | Logs at http://irclog.whitequark.org/ocaml

00:04 eikke__ has quit [Ping timeout: 255 seconds]

00:11 ollehar has quit [Ping timeout: 240 seconds]

00:14 rwmjones has quit [Read error: Network is unreachable]

00:14 rwmjones has joined #ocaml

00:19 zebr has quit [Remote host closed the connection]

00:21 zebr has joined #ocaml

00:38 studybot has quit [Remote host closed the connection]

00:39 tlockney is now known as tlockney_away

00:48 racycle has quit [Quit: ZZZzzz…]

00:51 boogie has quit [Remote host closed the connection]

01:00 jwatzman|work has quit [Quit: jwatzman|work]

01:01 jeregrine_ has quit [Ping timeout: 240 seconds]

01:05 hhugo has quit [Quit: Leaving.]

01:05 hhugo has joined #ocaml

01:06 hhugo has quit [Client Quit]

01:06 ygrek has joined #ocaml

01:07 johnnydiabetic has joined #ocaml

01:08 huza has joined #ocaml

01:08 huza has quit [Client Quit]

01:08 manizzle has quit [Ping timeout: 265 seconds]

01:08 huza has joined #ocaml

01:08 tnguyen1 has quit [Quit: tnguyen1]

01:09 q66 has quit [Quit: Leaving]

01:09 jeregrine has joined #ocaml

01:12 cesar_ has joined #ocaml

01:12 cesar_ is now known as Guest23273

01:17 Guest23273 has quit [Ping timeout: 264 seconds]

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

01:41 SethTisue has joined #ocaml

01:47 alpounet has joined #ocaml

01:50 typedlambda has quit [Ping timeout: 252 seconds]

01:51 alpounet has quit [Ping timeout: 255 seconds]

01:52 typedlambda has joined #ocaml

01:57 studybot has joined #ocaml

02:01 johnnydiabetic has quit [Quit: Leaving]

02:06 philtor_ has joined #ocaml

02:12 cesar_ has joined #ocaml

02:12 cesar_ is now known as Guest67211

02:22 philtor_ has quit [Ping timeout: 252 seconds]

02:28 fantasticsid has joined #ocaml

02:29 manizzle has joined #ocaml

02:36 manizzle has quit [Remote host closed the connection]

02:36 manizzle has joined #ocaml

02:41 rgrinberg has quit [Quit: Leaving.]

02:42 tiglionabbit has quit [Quit: tiglionabbit]

02:45 rgrinberg has joined #ocaml

02:50 bzzbzz has joined #ocaml

02:52 bzzbzz has quit [Client Quit]

02:55 SethTisue has quit [Quit: SethTisue]

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

03:01 michael_lee has joined #ocaml

03:01 rgrinberg has quit [Quit: Leaving.]

03:07 michael_lee has quit [Ping timeout: 276 seconds]

03:12 racycle_ has joined #ocaml

03:16 fantasticsid has quit [Remote host closed the connection]

03:16 divyanshu has joined #ocaml

03:21 michael_lee has joined #ocaml

03:25 studybot has quit [Write error: Connection reset by peer]

03:34 studybot has joined #ocaml

03:35 _JokerDoom has joined #ocaml

03:37 JokerDoom has quit [Ping timeout: 265 seconds]

03:47 alpounet has joined #ocaml

03:48 racycle_ has quit [Quit: ZZZzzz…]

03:48 rgrinberg has joined #ocaml

03:49 tiglionabbit has joined #ocaml

03:52 alpounet has quit [Ping timeout: 240 seconds]

03:54 divyanshu has quit [Ping timeout: 255 seconds]

04:01 mcclurmc has quit [Remote host closed the connection]

04:02 divyanshu has joined #ocaml

04:02 mcclurmc has joined #ocaml

04:07 divyanshu has quit [Quit: Computer has gone to sleep.]

04:22 philtor_ has joined #ocaml

04:25 axiles has joined #ocaml

04:30 huza has quit [Read error: Connection reset by peer]

04:30 Guest67211 has quit [Remote host closed the connection]

04:31 huza has joined #ocaml

04:35 huza has quit [Client Quit]

04:35 huza has joined #ocaml

04:36 boogie has joined #ocaml

04:37 yacks has joined #ocaml

04:39 divyanshu has joined #ocaml

04:40 philtor_ has quit [Ping timeout: 255 seconds]

04:43 huza has quit [Quit: WeeChat 0.3.8]

04:43 huza has joined #ocaml

04:44 huza has quit [Client Quit]

05:03 ygrek has joined #ocaml

05:14 rgrinberg has quit [Quit: Leaving.]

05:14 axiles has quit [Ping timeout: 252 seconds]

05:15 rgrinberg has joined #ocaml

05:21 axiles has joined #ocaml

05:23 ygrek has quit [Remote host closed the connection]

05:30 rgrinberg has quit [Quit: Leaving.]

05:35 boogie has quit [Remote host closed the connection]

05:46 ebzzry has quit [Remote host closed the connection]

05:48 alpounet has joined #ocaml

05:53 alpounet has quit [Ping timeout: 255 seconds]

05:53 ggole has joined #ocaml

06:01 huza has joined #ocaml

06:02 huza has quit [Client Quit]

06:04 huza has joined #ocaml

06:04 huza has quit [Client Quit]

06:04 huza has joined #ocaml

06:10 avsm has joined #ocaml

06:11 alpounet has joined #ocaml

06:12 cesar_ has joined #ocaml

06:13 cesar_ is now known as Guest70060

06:17 Guest70060 has quit [Ping timeout: 252 seconds]

06:19 avsm1 has joined #ocaml

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

06:25 claudiuc has quit [Read error: Connection reset by peer]

06:25 claudiuc has joined #ocaml

06:32 hhugo has joined #ocaml

06:34 philtor has quit [Ping timeout: 258 seconds]

06:45 __JokerDoom has joined #ocaml

06:49 _JokerDoom has quit [Ping timeout: 276 seconds]

06:49 hhugo has quit [Quit: Leaving.]

06:50 rgrinberg has joined #ocaml

06:56 yacks has quit [Ping timeout: 245 seconds]

06:59 mcclurmc has quit [Ping timeout: 265 seconds]

07:03 huza has quit [Ping timeout: 255 seconds]

07:16 yacks has joined #ocaml

07:16 claudiuc has quit [Remote host closed the connection]

07:17 mcclurmc has joined #ocaml

07:23 eizo has joined #ocaml

07:23 Simn has joined #ocaml

07:28 pyon has joined #ocaml

07:33 rgrinberg has quit [Read error: Connection reset by peer]

07:33 rgrinberg has joined #ocaml

07:48 divyanshu has quit [Ping timeout: 252 seconds]

07:50 divyanshu has joined #ocaml

07:53 Submarine has joined #ocaml

08:00 ygrek has joined #ocaml

08:01 cesar_ has joined #ocaml

08:01 cesar_ is now known as Guest87050

08:06 Guest87050 has quit [Ping timeout: 265 seconds]

08:09 michael_lee has quit [Ping timeout: 240 seconds]

08:11 rgrinberg has quit [Quit: Leaving.]

08:23 AltGr has joined #ocaml

08:23 michael_lee has joined #ocaml

08:28 Submarine has quit [Remote host closed the connection]

08:29 pyon has quit [Quit: restart]

08:31 pyon has joined #ocaml

08:40 yacks has quit [Ping timeout: 252 seconds]

08:41 michael_lee has quit [Quit: Ex-Chat]

08:45 ygrek has quit [Ping timeout: 240 seconds]

08:45 <adrien> would it make sense to have a "-compat" flag and env var for ocamlbuild in its next version?

08:50 Hannibal_Smith has joined #ocaml

08:50 tiglionabbit has quit [Quit: tiglionabbit]

08:50 <adrien> the idea behind is that if we want to have changes that break compatibility in ocamlbuild, we need to do some things differently

08:51 <adrien> any behaviour change in ocamlbuild is met with lots of resistance

08:51 <adrien> usage would be something like

08:51 <adrien> ocamlbuild -compat-level=4.02

08:51 <adrien> OCAMLBUILD_COMPAT_LEVEL=4.02 ocamlbuild

08:52 <adrien> possibly with something finer-grained

08:53 <adrien> that would include things like the use of ocamlfind by default but not be limited to that

08:53 <adrien> I have a couple issues in mind which would be best fixed by breaking compatibility but we know this won't happen without such a mechanism (at least)

09:03 divyanshu has quit [Ping timeout: 252 seconds]

09:05 <jpdeplaix> I don't see why it would be useful, but please, write it down on mantis

09:05 divyanshu has joined #ocaml

09:08 <adrien> do you think there is no need to break compatibility? do you think there is but it can be solved by other means?

09:10 ikaros has joined #ocaml

09:12 <jpdeplaix> I don't think anything :D

09:15 maattdd has joined #ocaml

09:18 pminten has joined #ocaml

09:19 <adrien> heh :P

09:20 divyanshu has quit [Ping timeout: 252 seconds]

09:27 thomasga has joined #ocaml

09:31 Kakadu has joined #ocaml

09:34 yacks has joined #ocaml

09:41 kakadu_ has joined #ocaml

09:42 Hannibal_Smith has quit [Quit: Sto andando via]

09:43 Kakadu has quit [Ping timeout: 240 seconds]

09:44 huza has joined #ocaml

09:46 divyanshu has joined #ocaml

09:49 cesar_ has joined #ocaml

09:50 cesar_ is now known as Guest99161

09:54 Guest99161 has quit [Ping timeout: 264 seconds]

10:10 zebr has quit [*.net *.split]

10:17 avsm has joined #ocaml

10:20 zebr has joined #ocaml

10:21 pminten has quit [Quit: Leaving]

10:22 ygrek has joined #ocaml

10:34 avsm has quit [Quit: Leaving.]

10:38 avsm has joined #ocaml

10:41 yacks has quit [Ping timeout: 240 seconds]

10:47 iorivur has joined #ocaml

10:53 dsheets has joined #ocaml

10:55 ollehar has joined #ocaml

10:59 ygrek has quit [Ping timeout: 264 seconds]

11:06 WraithM has quit [Ping timeout: 276 seconds]

11:07 yacks has joined #ocaml

11:23 _andre has joined #ocaml

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

11:30 thomasga has quit [Quit: Leaving.]

11:30 SethTisue has joined #ocaml

11:35 avsm has quit [Quit: Leaving.]

11:38 cesar_ has joined #ocaml

11:38 cesar_ is now known as Guest45259

11:42 Guest45259 has quit [Ping timeout: 240 seconds]

11:44 Thooms has joined #ocaml

11:46 <diginux_> anyone here part of cufp? the site seems down...

11:50 eizo has quit [Ping timeout: 240 seconds]

11:56 manizzle has quit [Ping timeout: 276 seconds]

12:08 studybot has quit [Remote host closed the connection]

12:21 thomasga has joined #ocaml

12:30 ollehar has quit [Ping timeout: 240 seconds]

12:36 avsm has joined #ocaml

12:37 huza has joined #ocaml

12:37 huza has quit [Client Quit]

12:37 huza has joined #ocaml

12:42 cantstanya has quit [Remote host closed the connection]

12:42 darkf has quit [Quit: Leaving]

12:43 cantstanya has joined #ocaml

13:14 studybot has joined #ocaml

13:15 studybot_ has joined #ocaml

13:15 ollehar has joined #ocaml

13:19 studybot has quit [Ping timeout: 272 seconds]

13:21 divyanshu has quit [Quit: Computer has gone to sleep.]

13:26 cesar_ has joined #ocaml

13:26 cesar_ is now known as Guest40300

13:31 Guest40300 has quit [Ping timeout: 276 seconds]

13:36 jeregrine has joined #ocaml

13:37 divyanshu has joined #ocaml

13:37 avsm has quit [Quit: Leaving.]

13:40 probado has joined #ocaml

13:53 ikaros has quit [Quit: Ex-Chat]

13:58 Thooms has quit [Quit: WeeChat 0.3.8]

14:02 thomasga has quit [Quit: Leaving.]

14:03 maattdd has quit [Ping timeout: 252 seconds]

14:05 fds has joined #ocaml

14:12 huza has quit [Quit: WeeChat 0.3.8]

14:17 Arsenik has joined #ocaml

14:21 testcocoon has quit [Quit: Coyote finally caught me]

14:25 Hannibal_Smith has joined #ocaml

14:26 fraggle_laptop has joined #ocaml

14:28 jeregrine has quit [Ping timeout: 276 seconds]

14:33 AeroNotix has quit [Quit: ...]

14:38 Axman6 has quit [*.net *.split]

14:38 Bynbo7 has joined #ocaml

14:40 Bynbo7 is now known as Axman6

14:41 studybot_ has quit [Remote host closed the connection]

14:41 <smondet> diginux_: cufp.org are changing the website and they have problems with the DNS update

14:42 <diginux_> smondet: thanks!

14:43 fraggle_laptop has quit [Ping timeout: 276 seconds]

14:45 <smondet> diginux_: this is a temporary URL http://ashishagarwal.org/tmp/cufp/ (and the implementation: https://github.com/cufp/cufp.org )

14:50 <diginux_> smondet: cool, I actually founded what I need, the link for tutorial proposals, appreciate your help

14:50 Thooms has joined #ocaml

14:58 maattdd has joined #ocaml

15:04 avsm has joined #ocaml

15:05 olauzon has joined #ocaml

15:05 maattdd has quit [Ping timeout: 252 seconds]

15:05 studybot_ has joined #ocaml

15:07 tnguyen1 has joined #ocaml

15:15 cesar_ has joined #ocaml

15:15 cesar_ is now known as Guest18399

15:16 thomasga has joined #ocaml

15:16 philtor has joined #ocaml

15:17 maattdd has joined #ocaml

15:19 Guest18399 has quit [Ping timeout: 265 seconds]

15:23 maattdd has quit [Ping timeout: 252 seconds]

15:25 rgrinberg has joined #ocaml

15:29 jeregrine has joined #ocaml

15:42 tlockney_away is now known as tlockney

15:46 Thooms has quit [Ping timeout: 240 seconds]

15:52 thomasga has quit [Quit: Leaving.]

15:53 Thooms has joined #ocaml

15:56 hhugo has joined #ocaml

15:57 demonimin has joined #ocaml

15:59 racycle_ has joined #ocaml

16:00 maattdd has joined #ocaml

16:05 boogie has joined #ocaml

16:08 avsm has quit [Quit: Leaving.]

16:08 jao has joined #ocaml

16:09 jao has quit [Changing host]

16:09 jao has joined #ocaml

16:09 thomasga has joined #ocaml

16:10 Submarine has joined #ocaml

16:13 probado has quit [Remote host closed the connection]

16:22 pgomes has joined #ocaml

16:22 avsm has joined #ocaml

16:24 Hannibal_Smith has quit [Quit: Sto andando via]

16:26 tiglionabbit has joined #ocaml

16:29 tiglionabbit has quit [Client Quit]

16:33 avsm has quit [Quit: Leaving.]

16:36 ygrek has joined #ocaml

16:37 jwatzman|work has joined #ocaml

16:42 fraggle_laptop has joined #ocaml

16:48 jeregrine has quit [Ping timeout: 245 seconds]

16:48 q66 has joined #ocaml

16:49 olauzon has quit [Ping timeout: 258 seconds]

16:50 ygrek has quit [Ping timeout: 260 seconds]

16:51 manizzle has joined #ocaml

16:52 olauzon has joined #ocaml

16:57 tane has joined #ocaml

17:01 probado has joined #ocaml

17:02 probado has quit [Client Quit]

17:02 probado has joined #ocaml

17:02 olauzon has quit [Ping timeout: 265 seconds]

17:03 cesar_ has joined #ocaml

17:04 cesar_ is now known as Guest20687

17:04 fraggle_laptop has quit [Ping timeout: 252 seconds]

17:07 Thooms has quit [Quit: WeeChat 0.3.8]

17:08 Guest20687 has quit [Ping timeout: 276 seconds]

17:11 olauzon has joined #ocaml

17:11 fraggle_laptop has joined #ocaml

17:12 pgomes has quit [Ping timeout: 252 seconds]

17:13 probado has quit [Remote host closed the connection]

17:14 lpw25 has joined #ocaml

17:14 lpw25 has quit [Client Quit]

17:17 WraithM has joined #ocaml

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

17:19 rgrinberg has quit [Quit: Leaving.]

17:19 racycle_ has joined #ocaml

17:19 rgrinberg has joined #ocaml

17:19 manizzle has quit [Ping timeout: 245 seconds]

17:21 probado has joined #ocaml

17:21 pgomes has joined #ocaml

17:21 probado has quit [Remote host closed the connection]

17:26 testcocoon has joined #ocaml

17:26 probado has joined #ocaml

17:27 probado has quit [Remote host closed the connection]

17:28 kakadu_ has quit [Quit: Page closed]

17:28 probado has joined #ocaml

17:32 tiglionabbit has joined #ocaml

17:33 fraggle_laptop has quit [Remote host closed the connection]

17:34 yroeht2 is now known as yroeht

17:34 q66 has quit [Ping timeout: 252 seconds]

17:37 philtor has quit [Ping timeout: 265 seconds]

17:39 mcclurmc has quit [Remote host closed the connection]

17:41 hhugo has quit [Quit: Leaving.]

17:43 ollehar has quit [Ping timeout: 240 seconds]

17:45 pgomes has quit [Ping timeout: 264 seconds]

17:46 pgomes has joined #ocaml

17:46 hhugo has joined #ocaml

17:46 q66 has joined #ocaml

17:48 dsheets has quit [Ping timeout: 245 seconds]

17:50 ontologiae has joined #ocaml

17:52 AltGr has left #ocaml [#ocaml]

17:55 maattdd has quit [Ping timeout: 264 seconds]

18:00 tiglionabbit has quit [Ping timeout: 252 seconds]

18:02 tiglionabbit has joined #ocaml

18:03 jeregrine has joined #ocaml

18:04 probado has quit [Remote host closed the connection]

18:04 tautologico has quit [Quit: Connection closed for inactivity]

18:08 pgomes has quit [Quit: Leaving]

18:09 pgomes has joined #ocaml

18:11 Kakadu has joined #ocaml

18:17 tiglionabbit has quit [Ping timeout: 252 seconds]

18:18 ollehar has joined #ocaml

18:21 S11001001 has joined #ocaml

18:21 S11001001 has quit [Changing host]

18:21 S11001001 has joined #ocaml

18:28 ontologiae has quit [Ping timeout: 276 seconds]

18:28 probado has joined #ocaml

18:29 rgrinberg has quit [Quit: Leaving.]

18:30 divyanshu has quit [Quit: Computer has gone to sleep.]

18:31 maattdd has joined #ocaml

18:32 q66 has quit [Ping timeout: 252 seconds]

18:35 rgrinberg has joined #ocaml

18:35 maattdd has quit [Ping timeout: 240 seconds]

18:37 manizzle has joined #ocaml

18:42 philtor has joined #ocaml

18:44 probado has quit [Quit: Leaving]

18:45 q66 has joined #ocaml

18:45 q66 has quit [Changing host]

18:45 q66 has joined #ocaml

18:45 tiglionabbit has joined #ocaml

18:47 mcclurmc has joined #ocaml

18:47 probado has joined #ocaml

18:50 probado has quit [Remote host closed the connection]

18:51 reventlov has quit [Quit: WeeChat 0.4.3]

18:51 tiglionabbit has quit [Ping timeout: 264 seconds]

18:51 probado has joined #ocaml

18:52 cesar_ has joined #ocaml

18:52 cesar_ is now known as Guest46699

18:56 Guest46699 has quit [Ping timeout: 245 seconds]

18:56 maattdd has joined #ocaml

18:59 esoto has joined #ocaml

19:01 SethTisue has quit [Quit: SethTisue]

19:05 tiglionabbit has joined #ocaml

19:05 hhugo has quit [Ping timeout: 245 seconds]

19:07 ontologiae has joined #ocaml

19:12 tiglionabbit has quit [Ping timeout: 258 seconds]

19:13 philtor_ has joined #ocaml

19:18 testcocoon has quit [Quit: Coyote finally caught me]

19:22 testcocoon has joined #ocaml

19:30 ontologiae has quit [Ping timeout: 260 seconds]

19:42 thomasga has quit [Ping timeout: 252 seconds]

19:49 SethTisue has joined #ocaml

19:50 _andre has quit [Quit: leaving]

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

19:55 ustunozgur has joined #ocaml

19:56 ohama has quit [Disconnected by services]

19:56 ohama has joined #ocaml

19:59 eizo has joined #ocaml

20:00 olauzon has quit [Ping timeout: 240 seconds]

20:01 Arsenik has quit [Ping timeout: 255 seconds]

20:02 olauzon has joined #ocaml

20:03 pgomes has joined #ocaml

20:03 ustunozgur has quit [Read error: Connection reset by peer]

20:04 ustunozgur has joined #ocaml

20:08 SethTisue has quit [Quit: SethTisue]

20:14 SethTisue has joined #ocaml

20:15 Arsenik has joined #ocaml

20:17 maattdd has quit [Ping timeout: 252 seconds]

20:18 thomasga has joined #ocaml

20:19 olauzon has quit [Ping timeout: 240 seconds]

20:19 olauzon has joined #ocaml

20:26 hhugo has joined #ocaml

20:30 olauzon has quit [Quit: olauzon]

20:33 Hannibal_Smith has joined #ocaml

20:40 cesar_ has joined #ocaml

20:40 cesar_ is now known as Guest64804

20:43 philtor_ has quit [Ping timeout: 252 seconds]

20:43 axiles has quit [Remote host closed the connection]

20:44 Guest64804 has quit [Ping timeout: 240 seconds]

20:45 thomasga has quit [Ping timeout: 252 seconds]

20:46 thomasga has joined #ocaml

20:47 ggole has quit [Ping timeout: 252 seconds]

20:48 S11001001 has quit [Quit: ERC Version 5.3 (IRC client for Emacs)]

20:54 boogie has quit [Remote host closed the connection]

20:55 yacks has quit [Ping timeout: 245 seconds]

20:59 jeregrine has quit [Ping timeout: 240 seconds]

21:03 jeregrine has joined #ocaml

21:11 hhugo has quit [Quit: Leaving.]

21:12 thomasga has quit [Quit: Leaving.]

21:13 thomasga has joined #ocaml

21:14 SethTisue has quit [Quit: SethTisue]

21:14 Kakadu has quit [Quit: Konversation terminated!]

21:17 ustunozg_ has joined #ocaml

21:20 probado has quit [Quit: Leaving]

21:21 ustunozgur has quit [Ping timeout: 265 seconds]

21:21 rgrinberg has quit [Quit: Leaving.]

21:26 jeregrine has quit [Ping timeout: 260 seconds]

21:28 ustunozg_ has quit [Remote host closed the connection]

21:30 rgrinberg has joined #ocaml

21:38 Thooms has joined #ocaml

21:42 jeregrine has joined #ocaml

21:50 alpounet has quit [Remote host closed the connection]

21:51 jeregrine has quit [Ping timeout: 252 seconds]

21:52 jao has quit [Ping timeout: 245 seconds]

21:53 tane has quit [Quit: Verlassend]

21:54 hhugo has joined #ocaml

22:00 hhugo has quit [Quit: Leaving.]

22:05 philtor_ has joined #ocaml

22:05 rgrinberg has quit [Quit: Leaving.]

22:06 Arsenik has quit [Remote host closed the connection]

22:09 rgrinberg has joined #ocaml

22:09 ustunozg_ has joined #ocaml

22:10 q66 has quit [Remote host closed the connection]

22:11 q66 has joined #ocaml

22:18 ustunozg_ has quit [Remote host closed the connection]

22:19 ustunozgur has joined #ocaml

22:20 ustunozgur has quit [Remote host closed the connection]

22:26 ustunozgur has joined #ocaml

22:28 cesar_ has joined #ocaml

22:29 cesar_ is now known as Guest44881

22:31 ustunozgur has quit [Ping timeout: 276 seconds]

22:31 esoto has left #ocaml [#ocaml]

22:33 Guest44881 has quit [Ping timeout: 265 seconds]

22:34 Thooms has quit [Ping timeout: 252 seconds]

22:43 philtor_ has quit [Ping timeout: 252 seconds]

22:44 ontologiae has joined #ocaml

22:48 jeregrine has joined #ocaml

22:51 ustunozgur has joined #ocaml

22:52 pgomes has quit [Ping timeout: 264 seconds]

22:53 boogie has joined #ocaml

22:53 Simn has quit [Quit: Leaving]

22:56 ustunozgur has quit [Ping timeout: 252 seconds]

23:10 darkf has joined #ocaml

23:12 rgrinberg has quit [Quit: Leaving.]

23:18 philtor_ has joined #ocaml

23:20 jeregrine has quit [Ping timeout: 264 seconds]

23:25 jeregrine has joined #ocaml

23:30 jeregrine has quit [Ping timeout: 264 seconds]

23:33 ontologiae has quit [Ping timeout: 260 seconds]

23:34 madroach has quit [Ping timeout: 252 seconds]

23:35 madroach has joined #ocaml

23:36 boogie has quit [Remote host closed the connection]

23:36 boogie has joined #ocaml

23:36 ontologiae has joined #ocaml

23:41 boogie has quit [Ping timeout: 252 seconds]

23:43 boogie has joined #ocaml

23:50 alpounet has joined #ocaml

23:51 ustunozgur has joined #ocaml

23:53 rgrinberg has joined #ocaml

23:55 alpounet has quit [Ping timeout: 255 seconds]

23:56 ustunozgur has quit [Ping timeout: 255 seconds]