#mirage on 2018-02-01 — irc logs at freenode.irclog.whitequark.org

2018-01-05 19:53 hannes changed the topic of #mirage to: bug cleaning day every first friday in month (14:00 UTC - late, next: 2nd Feb); MirageOS 3 is released, happy hacking!

00:31 PLC_ is now known as poka

01:44 contrapumpkin has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]

01:46 contrapumpkin has joined #mirage

03:04 yomimono_ has joined #mirage

03:08 yomimono has quit [Ping timeout: 264 seconds]

07:15 dmj` has quit []

07:45 olle has joined #mirage

07:45 olle has quit [Client Quit]

07:57 AltGr has joined #mirage

08:00 yomimono__ has joined #mirage

08:04 yomimono_ has quit [Ping timeout: 248 seconds]

09:12 mort___ has joined #mirage

10:13 argent_smith has joined #mirage

10:35 mort___ has quit [Quit: Leaving.]

10:39 mort___ has joined #mirage

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

11:08 reynir1 has joined #mirage

11:10 reynir has quit [Disconnected by services]

11:10 reynir1 is now known as reynir

11:10 mort___ has joined #mirage

11:12 AltGr has quit [Ping timeout: 276 seconds]

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

11:36 mort___ has joined #mirage

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

11:53 mort___ has joined #mirage

12:36 mrgrieves has quit [Read error: Connection reset by peer]

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

12:47 mort___ has joined #mirage

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

13:16 mort___ has joined #mirage

14:12 smondet[m] has quit [Ping timeout: 248 seconds]

14:15 smondet[m] has joined #mirage

14:42 olle has joined #mirage

14:52 ricarkol has joined #mirage

15:09 dmj` has joined #mirage

15:15 ricarkol has quit [Ping timeout: 252 seconds]

15:18 ricarkol has joined #mirage

15:40 olle has quit [Quit: olle]

17:45 yomimono__ has quit [Ping timeout: 248 seconds]

17:49 yomimono__ has joined #mirage

18:01 mort___ has quit [Quit: Leaving.]

18:14 yomimono__ has quit [Remote host closed the connection]

19:07 jnavila has joined #mirage

20:27 jnavila has quit [Remote host closed the connection]

20:47 propumpkin has joined #mirage

20:48 contrapumpkin has quit [Ping timeout: 256 seconds]

20:50 propumpkin is now known as contrapumpkin

20:53 Thaelim has joined #mirage

21:11 <dstolfa> hannes: https://www.cl.cam.ac.uk/%7Ehm519/idris-mode.pdf <- thanks for this pdf. quite useful when setting it up

21:52 jnavila has joined #mirage

22:32 jnavila has quit [Remote host closed the connection]

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

23:23 ricarkol has quit [Quit: Leaving.]