#mirage on 2017-02-17 — irc logs at freenode.irclog.whitequark.org

2014-11-12 23:09 avsm changed the topic of #mirage to: mirage 2 released! party on!

00:17 <haesbaert> oh well solved, hacked topkg source

00:39 noddy has quit [Ping timeout: 240 seconds]

01:08 noddy has joined #mirage

02:06 brson has quit [Quit: leaving]

02:49 copy` has quit [Quit: Connection closed for inactivity]

03:39 Bluerise has quit [Ping timeout: 276 seconds]

03:41 Bluerise has joined #mirage

03:55 deepbook5broo has joined #mirage

05:00 deepbook5broo has left #mirage [#mirage]

06:23 insitu has joined #mirage

06:42 insitu has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

07:06 insitu has joined #mirage

07:22 insitu has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

07:43 vramana has joined #mirage

08:00 insitu has joined #mirage

08:01 fgimenez has joined #mirage

08:57 mort___ has joined #mirage

09:05 w10have has joined #mirage

09:05 vramana has quit [Read error: Connection reset by peer]

09:28 <gjaldon__> Which of the sockets above will we find priscilla in marrakech? https://usercontent.irccloud-cdn.com/file/vg4h43XW/IMG_1209.PNG

09:29 <haesbaert> gjaldon__: Type C

09:30 <haesbaert> the other one is just in .uk/.ie IIRC

09:42 mort___ has quit [Quit: Leaving.]

10:10 <def`> type E is not used in UK but it is common in europe

10:11 <def`> (it's type C + ground wire)

10:35 mort___ has joined #mirage

10:42 w10have has quit [Quit: Konversation terminated!]

10:43 <reynir> haha I forgot about the meeting again :(

11:08 insitu has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

11:13 mort___ has quit [Quit: Leaving.]

11:55 insitu has joined #mirage

11:59 mort___ has joined #mirage

12:10 ansiwen_ is now known as ansiwen

12:27 <gjaldon__> Thanks haesbaert and def`!

12:55 yesabug has quit [Ping timeout: 252 seconds]

12:58 mort___ has quit [Quit: Leaving.]

13:09 yesabug has joined #mirage

14:21 mort___ has joined #mirage

14:28 insitu has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

14:43 mort___ has quit [Quit: Leaving.]

15:05 noddy has quit [Ping timeout: 240 seconds]

15:11 fgimenez has quit [Ping timeout: 260 seconds]

15:18 mort___ has joined #mirage

15:27 fgimenez has joined #mirage

15:27 fgimenez has quit [Changing host]

15:29 copy` has joined #mirage

16:31 yesabug has quit [Quit: Leaving]

16:40 noddy has joined #mirage

17:05 fgimenez has quit []

17:13 brson has joined #mirage

17:46 mort___ has quit [Quit: Leaving.]

18:02 insitu has joined #mirage

18:06 insitu has quit [Client Quit]

18:13 mort___ has joined #mirage

18:13 mort___ has quit [Client Quit]

18:20 insitu has joined #mirage

18:34 <sternenseemann> cohttp question:

18:34 <sternenseemann> Is `Strings xs equivalent to `String (String.concat "" xs) for Body?

18:34 <sternenseemann> or is there a semantical difference

18:50 brson has quit [Read error: Connection reset by peer]

18:53 insitu has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

18:55 insitu has joined #mirage

18:55 brson has joined #mirage

18:59 noddy has quit [Ping timeout: 240 seconds]

19:05 insitu has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

20:01 insitu has joined #mirage

20:07 brson has quit [Read error: Connection reset by peer]

20:12 noddy has joined #mirage

20:14 brson has joined #mirage

21:45 insitu has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

22:14 brson has quit [Read error: Connection reset by peer]

22:15 brson has joined #mirage

22:35 rgrinberg has joined #mirage