#reasonml on 2016-05-31 — irc logs at freenode.irclog.whitequark.org

2016-05-26 08:47 chenglou changed the topic of #reasonml to: http://facebook.github.io/reason/. Public channel logs at http://irclog.whitequark.org/reasonml

00:16 kassens has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]

00:22 kassens has joined #reasonml

00:32 bsansouci has quit [Quit: Connection closed for inactivity]

01:05 jimt is now known as Jim7J1AJH

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

01:24 kassens has joined #reasonml

02:18 kassens has quit [Read error: Connection reset by peer]

02:19 kassens has joined #reasonml

02:27 jonasen has joined #reasonml

03:03 yunxing has joined #reasonml

03:10 Jim7J1AJH is now known as jimt

03:10 yunxing has quit [Quit: Leaving...]

03:22 kassens has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]

03:23 kassens has joined #reasonml

03:39 kentw has joined #reasonml

03:44 kentw has quit [Remote host closed the connection]

03:44 kentw has joined #reasonml

03:50 pierpa has quit [Ping timeout: 240 seconds]

04:23 kassens has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]

04:38 jonasen has quit [Quit: My Mac has gone to sleep. ZZZzzz…]

05:15 jonasen has joined #reasonml

05:39 Algebr has quit [Ping timeout: 260 seconds]

05:59 copy` has quit [Quit: Connection closed for inactivity]

06:14 kentw has quit [Remote host closed the connection]

06:14 kentw has joined #reasonml

06:20 kentw has quit [Ping timeout: 260 seconds]

06:32 struk|desk has quit [Remote host closed the connection]

06:33 struk|desk has joined #reasonml

06:35 Algebr has joined #reasonml

06:40 Algebr has quit [Ping timeout: 250 seconds]

07:37 Algebr has joined #reasonml

07:43 Algebr has quit [Ping timeout: 258 seconds]

08:25 jonasen has quit [Ping timeout: 246 seconds]

08:39 Algebr has joined #reasonml

08:43 Algebr has quit [Ping timeout: 260 seconds]

08:44 <Leonidas> chenglou: will the Facebook FOSS projects be translated into Reason eventually?

08:45 <chenglou> Leonidas: infer already is (maybe I've mentioned it before)

08:45 <chenglou> as for e.g. Flow and Pfff, we're talking to the teams!

08:47 <Leonidas> chenglou: On its Github page I see "OCaml 56.5%"

08:47 <Leonidas> (that's why I am asking)

08:47 <Leonidas> chenglou: thanks :)

08:47 <chenglou> https://github.com/facebook/infer/tree/master/infer/src/IR

08:48 <chenglou> gotta make github recognize reason one day

08:48 <Leonidas> I guess that will happen soon

08:49 <Leonidas> TIL that infer was written by Monoidics originally.

08:57 bsansouci has joined #reasonml

09:09 jonasen has joined #reasonml

09:39 Algebr has joined #reasonml

09:44 Algebr has quit [Ping timeout: 264 seconds]

11:41 Algebr has joined #reasonml

11:46 Algebr has quit [Ping timeout: 260 seconds]

12:11 jonasen has quit [Quit: My Mac has gone to sleep. ZZZzzz…]

12:22 bsansouci has quit [Quit: Connection closed for inactivity]

12:23 jonasen has joined #reasonml

12:42 Algebr has joined #reasonml

12:47 Algebr has quit [Ping timeout: 260 seconds]

13:11 pierpa has joined #reasonml

13:33 jonasen has quit [Quit: My Mac has gone to sleep. ZZZzzz…]

13:43 Algebr has joined #reasonml

13:47 Algebr has quit [Ping timeout: 244 seconds]

14:06 jonasen has joined #reasonml

14:14 copy` has joined #reasonml

14:17 Algebr has joined #reasonml

14:22 Algebr has quit [Ping timeout: 272 seconds]

14:27 Algebr has joined #reasonml

14:32 Algebr has quit [Ping timeout: 258 seconds]

14:35 Algebr has joined #reasonml

14:42 Algebr has quit [Ping timeout: 244 seconds]

14:54 Algebr has joined #reasonml

14:57 Algebr` has joined #reasonml

15:02 Algebr has quit [Ping timeout: 264 seconds]

15:02 Algebr` has quit [Ping timeout: 252 seconds]

15:08 iwan_ has joined #reasonml

15:13 jonasen has quit [Quit: My Mac has gone to sleep. ZZZzzz…]

15:29 dakk has quit [Ping timeout: 252 seconds]

15:29 Algebr` has joined #reasonml

15:53 kassens has joined #reasonml

16:29 kentw has joined #reasonml

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

16:45 kassens has joined #reasonml

16:47 Algebr` has quit [Ping timeout: 276 seconds]

16:53 kassens has quit [Ping timeout: 276 seconds]

16:53 bsansouci has joined #reasonml

16:56 iwan_ has quit [Ping timeout: 250 seconds]

17:19 kassens has joined #reasonml

17:25 kentw has quit [Remote host closed the connection]

17:27 kassens has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]

17:35 Algebr`` has quit [Remote host closed the connection]

17:47 jonasen has joined #reasonml

18:32 kassens has joined #reasonml

18:33 kentw has joined #reasonml

18:34 seangrove has joined #reasonml

18:41 yunxing has joined #reasonml

18:47 yunxing has quit []

18:47 yunxing has joined #reasonml

18:52 kentw has quit [Remote host closed the connection]

18:53 kentw has joined #reasonml

18:58 kentw has quit [Remote host closed the connection]

19:12 kentw has joined #reasonml

19:26 kassens_ has joined #reasonml

19:26 jonasen has quit [Quit: My Mac has gone to sleep. ZZZzzz…]

19:28 kassens has quit [Ping timeout: 246 seconds]

19:52 bsansouci has quit [Quit: Connection closed for inactivity]

19:54 kentw has quit [Remote host closed the connection]

20:01 kentw has joined #reasonml

20:02 kentw has quit [Remote host closed the connection]

20:02 kentw has joined #reasonml

20:04 kentw has quit [Remote host closed the connection]

20:05 kentw has joined #reasonml

20:06 kentw has quit [Remote host closed the connection]

20:10 kentw has joined #reasonml

20:24 kentw_ has joined #reasonml

20:25 kentw_ has quit [Client Quit]

20:25 kentw_ has joined #reasonml

20:26 kentw has quit [Ping timeout: 260 seconds]

20:33 kentw_ has quit [Remote host closed the connection]

20:34 kentw has joined #reasonml

20:39 kentw_ has joined #reasonml

20:39 kentw has quit [Ping timeout: 272 seconds]

20:50 seangrove has quit [Ping timeout: 252 seconds]

20:58 seangrove has joined #reasonml

20:59 kentw_ has quit [Read error: Connection reset by peer]

21:00 kentw has joined #reasonml

21:02 kassens has joined #reasonml

21:05 kassens_ has quit [Ping timeout: 260 seconds]

21:06 kassens has quit [Client Quit]

21:14 kassens has joined #reasonml

21:17 kassens has quit [Client Quit]

21:20 kassens has joined #reasonml

21:20 yunxing_ has joined #reasonml

21:45 dakk has joined #reasonml

21:46 yunxing_ has quit [Remote host closed the connection]

21:48 yunxing_ has joined #reasonml

21:59 kentw has quit [Remote host closed the connection]

21:59 kentw has joined #reasonml

22:02 yunxing__ has joined #reasonml

22:02 yunxing_ has quit [Read error: Connection reset by peer]

22:12 kentw has quit [Remote host closed the connection]

22:13 kentw has joined #reasonml

22:58 yunxing__ has quit [Remote host closed the connection]

22:58 yunxing_ has joined #reasonml

23:03 yunxing_ has quit [Read error: Connection reset by peer]

23:03 kentw_ has joined #reasonml

23:03 yunxing_ has joined #reasonml

23:04 kentw has quit [Ping timeout: 260 seconds]

23:11 kentw_ has quit [Remote host closed the connection]

23:11 kentw has joined #reasonml

23:17 yunxing_ has left #reasonml ["Leaving..."]

23:21 seangrove has quit [Remote host closed the connection]

23:22 seangrove has joined #reasonml

23:22 Algebr` has joined #reasonml

23:22 kentw has quit [Remote host closed the connection]

23:26 kentw has joined #reasonml

23:28 kentw has quit [Remote host closed the connection]

23:28 kentw has joined #reasonml

23:29 seangrove has quit [Remote host closed the connection]

23:30 seangrove has joined #reasonml

23:35 seangrove has quit [Ping timeout: 240 seconds]

23:38 kentw has quit [Ping timeout: 276 seconds]