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

2017-02-23 21:16 avsm changed the topic of #mirage to: Good news everyone! Mirage 3.0 released!

00:48 copy_ has quit [Quit: Connection closed for inactivity]

04:42 _whitelogger has joined #mirage

06:24 Drup has quit [Ping timeout: 246 seconds]

06:25 abeaumont has quit [Ping timeout: 276 seconds]

06:28 Drup has joined #mirage

06:37 dograt has quit [Quit: No Ping reply in 180 seconds.]

06:38 dograt has joined #mirage

08:23 Bluerise has quit [Ping timeout: 240 seconds]

08:24 Bluerise has joined #mirage

08:25 abeaumont has joined #mirage

08:38 argent_smith has joined #mirage

10:26 mort___ has joined #mirage

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

12:08 mort___ has joined #mirage

14:12 mort___ has quit [Ping timeout: 240 seconds]

15:06 <demonimin> Would it be possible to add constructors to the abstract signatures in mirage-types-lwt?

15:09 noddy has joined #mirage

15:43 mort___ has joined #mirage

15:47 mort___ has quit [Client Quit]

15:58 mort___ has joined #mirage

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

16:15 mort___ has joined #mirage

16:18 copy_ has joined #mirage

16:47 mort___ has quit [Quit: Leaving.]

17:59 noddy has quit [Quit: WeeChat 1.9]

18:19 bit_lySLH2uSZHed has joined #mirage

18:20 bit_lySLH2uSZHed has quit [K-Lined]

21:33 wendar has joined #mirage

21:54 copumpkin has quit [Remote host closed the connection]

22:15 argent_smith has quit [Quit: Leaving.]