#mirage on 2014-08-27 — irc logs at freenode.irclog.whitequark.org

00:18 philtor_ has joined #mirage

00:30 brson has quit [Quit: leaving]

00:31 lpw25 has quit [Remote host closed the connection]

00:36 philtor_ has quit [Ping timeout: 260 seconds]

00:37 dbuenzli has quit [Quit: Leaving.]

00:48 englishm_ has quit [Ping timeout: 246 seconds]

01:24 tlockney is now known as tlockney_away

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

01:50 englishm has joined #mirage

02:14 tlockney_away is now known as tlockney

02:16 kamalmarhubi_ is now known as kamalmarhubi

02:17 kamalmarhubi is now known as kamalmarhubi_

02:18 kamalmarhubi_ is now known as kalmar

02:18 kalmar is now known as kalmar_

02:18 kalmar_ is now known as kmrhb

02:19 kmrhb is now known as kmrhb_

02:19 kmrhb_ is now known as kamalmarhubi_

02:26 yomimono has joined #mirage

02:53 yomimono has quit [Ping timeout: 264 seconds]

03:04 rgrinberg has joined #mirage

03:04 tlockney is now known as tlockney_away

03:50 vbmithr_ has quit [Ping timeout: 250 seconds]

03:51 vbmithr has joined #mirage

03:54 englishm has quit [Remote host closed the connection]

03:55 englishm has joined #mirage

03:59 tlockney_away is now known as tlockney

04:01 gperetin has quit [Ping timeout: 260 seconds]

04:03 gperetin has joined #mirage

04:13 englishm has quit [Remote host closed the connection]

04:14 englishm has joined #mirage

04:21 englishm has quit [Remote host closed the connection]

04:22 englishm has joined #mirage

04:23 dsheets_ has quit [Ping timeout: 240 seconds]

04:29 tlockney is now known as tlockney_away

05:02 philtor_ has joined #mirage

05:05 dezzy_ is now known as dezzy

05:26 philtor_ has quit [Ping timeout: 272 seconds]

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

06:08 Sizur has joined #mirage

06:08 <Sizur> greeting!

06:08 <Sizur> s

06:11 <Sizur> is there a library of modules that mimic haskell's monads, functors, monoids, applicatives, arrows, etc?

06:14 rgrinberg has joined #mirage

06:16 <Sizur> sorry, this should be in #ocaml

06:16 <Sizur> Mirage is awesome! Thanks you all!

07:31 AltGr has joined #mirage

08:00 rgrinberg1 has joined #mirage

08:03 tlockneyz has joined #mirage

08:03 tlockneyz is now known as tlockney

08:08 fmu^ has joined #mirage

08:10 fmu has quit [*.net *.split]

08:10 rgrinberg has quit [*.net *.split]

08:10 maker has quit [*.net *.split]

08:10 tg has quit [*.net *.split]

08:10 tlockney_away has quit [*.net *.split]

08:10 so has quit [*.net *.split]

08:10 fmu^ is now known as fmu

08:12 rgrinberg1 has quit [Quit: Leaving.]

08:14 tg has joined #mirage

08:17 maker has joined #mirage

08:22 thomasga has joined #mirage

09:26 avsm has joined #mirage

09:44 djs55 has joined #mirage

09:44 djs55 has quit [Client Quit]

09:45 avsm has quit [Quit: Leaving.]

09:45 djs55 has joined #mirage

09:53 andreas1 has joined #mirage

09:56 andreas2 has quit [Ping timeout: 250 seconds]

10:11 so has joined #mirage

10:33 dsheets_ has joined #mirage

10:43 dsheets_ has quit [Ping timeout: 264 seconds]

10:46 thomasga has quit [Quit: Leaving.]

10:53 dsheets_ has joined #mirage

11:06 jonludla1 is now known as jonludlam

11:34 andreas1 has quit [Quit: Leaving.]

11:36 avsm has joined #mirage

12:18 andreas1 has joined #mirage

12:19 andreas1 has quit [Client Quit]

12:32 thomasga has joined #mirage

12:38 andreas1 has joined #mirage

13:05 englishm has quit [Ping timeout: 246 seconds]

13:21 englishm has joined #mirage

13:33 hhugo has joined #mirage

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

14:08 hhugo has quit [Quit: Leaving.]

14:18 hhugo has joined #mirage

14:38 hhugo has quit [Quit: Leaving.]

14:48 rgrinberg has joined #mirage

14:53 philtor has joined #mirage

14:58 hhugo has joined #mirage

15:17 philtor has quit [Ping timeout: 240 seconds]

15:18 tlockney is now known as tlockney_away

15:18 tlockney_away is now known as tlockney

15:19 jonludlam has quit [Ping timeout: 240 seconds]

15:20 jonludlam has joined #mirage

15:20 jonludlam is now known as Guest24493

15:20 fmu has quit [*.net *.split]

15:21 hnrgrgr_ has quit [*.net *.split]

15:21 def` has quit [*.net *.split]

15:21 tizoc has quit [*.net *.split]

15:21 smondet has quit [*.net *.split]

15:23 fmu has joined #mirage

15:23 def` has joined #mirage

15:23 tizoc has joined #mirage

15:23 smondet has joined #mirage

15:23 hnrgrgr_ has joined #mirage

15:28 Sizur has quit [Read error: Connection reset by peer]

15:30 Sizur has joined #mirage

15:30 dsheets_ has quit [Quit: Leaving]

15:30 dsheets__ has joined #mirage

15:32 avsm has quit [Quit: Leaving.]

15:59 englishm has quit [Remote host closed the connection]

15:59 brson has joined #mirage

15:59 englishm has joined #mirage

16:23 hhugo has quit [Quit: Leaving.]

16:42 avsm has joined #mirage

16:56 thomasga has joined #mirage

16:57 philtor has joined #mirage

17:03 thomasga has quit [Ping timeout: 250 seconds]

17:03 hhugo has joined #mirage

17:13 AltGr has left #mirage [#mirage]

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

17:25 thomasga has joined #mirage

17:36 djs55 has quit [Ping timeout: 246 seconds]

17:37 englishm has quit [Remote host closed the connection]

17:38 englishm has joined #mirage

17:39 avsm has quit [Ping timeout: 240 seconds]

17:42 hhugo has joined #mirage

17:48 thomasga has quit [Quit: Leaving.]

17:52 dsheets__ has quit [Ping timeout: 250 seconds]

18:23 avsm has joined #mirage

18:25 philtor_ has joined #mirage

18:42 hhugo has quit [Quit: Leaving.]

18:50 hhugo has joined #mirage

19:10 hhugo has quit [Quit: Leaving.]

19:15 philtor_ has quit [Ping timeout: 244 seconds]

19:19 dsheets__ has joined #mirage

19:52 avsm has quit [Quit: Leaving.]

19:57 djs55 has joined #mirage

20:19 hhugo has joined #mirage

20:52 hhugo has quit [Quit: Leaving.]

21:03 thomasga has joined #mirage

21:03 <dsheets__> thomasga, any news on the platform installability? should I just pin camlp4 to an old version?

21:04 mort___ has joined #mirage

21:07 <thomasga> triaging now

21:22 <thomasga> dsheets__: I've pushed some fixes ...

21:22 <dsheets__> thomasga, ok, i'm too tired any more... will look tomorrow morning

21:23 <dsheets__> thanks for your action

21:23 <thomasga> well no worries

21:23 <thomasga> I'll look into that tomorrow morning as well

21:23 <thomasga> I'll try to have a platform-dev repo working before going to bed

21:35 djs55 has quit [Quit: Leaving.]

21:53 mort___ has quit [Quit: Leaving.]

22:11 dsheets__ has quit [Ping timeout: 260 seconds]

22:23 djs55 has joined #mirage

22:24 englishm has quit [Remote host closed the connection]

22:25 englishm has joined #mirage

22:36 avsm has joined #mirage

22:46 englishm has quit [Remote host closed the connection]

22:46 englishm has joined #mirage

22:46 djs55 has quit [Quit: Leaving.]

23:06 englishm has quit [Remote host closed the connection]

23:44 philtor has quit [Ping timeout: 240 seconds]