#ocaml on 2020-06-20 — irc logs at freenode.irclog.whitequark.org

2019-09-26 12:04 adrien changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org | OCaml 4.09 release notes: https://caml.inria.fr/pub/distrib/ocaml-4.09/notes/Changes | Try OCaml in your browser: http://try.ocamlpro.com | Public channel logs at http://irclog.whitequark.org/ocaml

00:00 t-j-r has joined #ocaml

00:00 t-j-r has quit [Changing host]

00:39 olle has quit [Ping timeout: 264 seconds]

00:41 olle has joined #ocaml

00:45 urek has joined #ocaml

00:46 urek has quit [Max SendQ exceeded]

00:46 urek_ has quit [Read error: Connection reset by peer]

00:46 urek has joined #ocaml

00:48 vicfred has quit [Quit: Leaving]

00:49 urek_ has joined #ocaml

00:50 urek has quit [Read error: Connection reset by peer]

01:09 oriba has quit [Quit: https://quassel-irc.org - Chat comfortably. Anywhere.]

01:20 Haudegen has quit [Ping timeout: 256 seconds]

01:33 waleee-cl has quit [Quit: Connection closed for inactivity]

01:38 mfp has quit [Ping timeout: 260 seconds]

01:59 zebrag has quit [Quit: Konversation terminated!]

02:00 zebrag has joined #ocaml

02:33 urek_ has quit [Ping timeout: 272 seconds]

02:34 Guest54422 has quit []

02:35 vicfred has joined #ocaml

02:35 nullcone has joined #ocaml

02:47 jeroud has quit [Read error: Connection reset by peer]

02:47 bitonic has quit [Ping timeout: 246 seconds]

02:47 wildsebastian has quit [Ping timeout: 246 seconds]

02:48 caasih has quit [Read error: Connection reset by peer]

02:48 higherorder has quit [Read error: Connection reset by peer]

02:48 rgrinberg has quit [Read error: Connection reset by peer]

02:48 bytesighs has quit [Read error: Connection reset by peer]

02:48 angerman has quit [Ping timeout: 240 seconds]

02:49 caasih has joined #ocaml

02:50 higherorder has joined #ocaml

02:51 higherorder has quit [Max SendQ exceeded]

02:52 angerman has joined #ocaml

02:52 bytesighs has joined #ocaml

02:52 higherorder has joined #ocaml

02:52 bitonic has joined #ocaml

02:53 higherorder has quit [Max SendQ exceeded]

02:53 rgrinberg has joined #ocaml

02:53 wildsebastian has joined #ocaml

02:53 jeroud has joined #ocaml

02:54 higherorder has joined #ocaml

02:56 higherorder has quit [Max SendQ exceeded]

02:56 bitonic has quit [Max SendQ exceeded]

02:57 higherorder has joined #ocaml

02:59 bitonic has joined #ocaml

03:18 madroach has quit [Ping timeout: 256 seconds]

03:20 madroach has joined #ocaml

03:31 urek_ has joined #ocaml

05:44 andreas303 has quit [Remote host closed the connection]

06:42 narimiran has joined #ocaml

06:45 urek_ has quit [Ping timeout: 272 seconds]

07:04 andreas303 has joined #ocaml

07:11 andreas303 has quit [Remote host closed the connection]

07:39 andreas303 has joined #ocaml

07:48 DanC has quit [Ping timeout: 260 seconds]

07:52 DanC has joined #ocaml

09:02 Haudegen has joined #ocaml

09:13 mbuf has joined #ocaml

09:21 tane has joined #ocaml

09:32 mbuf has quit [Remote host closed the connection]

09:32 mbuf has joined #ocaml

09:56 mfp has joined #ocaml

10:09 sagax has quit [Ping timeout: 258 seconds]

10:35 zebrag has quit [Quit: Konversation terminated!]

10:35 zebrag has joined #ocaml

10:40 waleee-cl has joined #ocaml

10:41 jnavila has joined #ocaml

10:52 neheist2 has joined #ocaml

10:54 leah2 has quit [Ping timeout: 256 seconds]

11:06 C-16 has joined #ocaml

11:08 leah2 has joined #ocaml

11:19 webshinra has quit [Remote host closed the connection]

11:25 andreas303 has quit [Remote host closed the connection]

11:28 andreas303 has joined #ocaml

11:32 leah2 has quit [Ping timeout: 272 seconds]

13:08 muskan has joined #ocaml

13:25 urek_ has joined #ocaml

13:30 leah2_ has joined #ocaml

13:30 urek has joined #ocaml

13:31 urek_ has quit [Read error: Connection reset by peer]

13:45 leah2_ has quit [Ping timeout: 272 seconds]

13:49 dborisog has joined #ocaml

13:58 leah2_ has joined #ocaml

14:06 muskan has quit [Ping timeout: 245 seconds]

14:14 leah2_ has quit [Ping timeout: 244 seconds]

14:48 rockethead has joined #ocaml

14:51 urek has quit [Ping timeout: 272 seconds]

14:53 leah2_ has joined #ocaml

15:03 urek has joined #ocaml

15:08 Serpent7776 has joined #ocaml

15:09 leah2_ has quit [Ping timeout: 260 seconds]

15:23 leah2_ has joined #ocaml

15:26 leah2_ has quit [Excess Flood]

15:27 leah2_ has joined #ocaml

15:29 oriba has joined #ocaml

15:45 leah2_ is now known as leah2

15:46 kleisli has quit [Ping timeout: 258 seconds]

15:56 urek has quit [Quit: Leaving]

16:05 Anarchos has joined #ocaml

16:08 averell has quit [Quit: .]

16:28 urek has joined #ocaml

16:29 averell has joined #ocaml

16:54 tane has quit [Ping timeout: 256 seconds]

17:37 narimiran has quit [Ping timeout: 258 seconds]

17:52 Anarchos has quit [Quit: Vision[0.10.3]: i've been blurred!]

18:00 dborisog has quit [Ping timeout: 264 seconds]

18:09 lix has quit [Remote host closed the connection]

18:46 rockethead has quit [Remote host closed the connection]

19:00 waleee-cl has quit [Quit: Connection closed for inactivity]

19:02 Serpent7776 has quit [Quit: leaving]

19:18 rockethead has joined #ocaml

19:30 Serpent7776 has joined #ocaml

19:47 jnavila has quit [Quit: Konversation terminated!]

20:06 amiloradovsky has joined #ocaml

20:08 urek has quit [Remote host closed the connection]

20:08 urek has joined #ocaml

20:14 <olle> someone wants to feedback on this? https://old.reddit.com/r/types/comments/hc4xnw/a_simple_alias_tracking_system_for_variables_with/

20:14 <olle> A simple alias tracking system for variables with typestate

20:15 rockethead has quit [Quit: rockethead]

20:17 ksft has joined #ocaml

20:25 mbuf has quit [Quit: Leaving]

20:57 vicfred has quit [Quit: Leaving]

21:11 kleisli has joined #ocaml

21:16 waleee-cl has joined #ocaml

21:38 Hrundi_V_Bakshi has joined #ocaml

21:49 snowpanda has joined #ocaml

21:56 towel_ is now known as towel

22:24 vicfred has joined #ocaml

22:53 tane has joined #ocaml

23:02 oriba has quit [Quit: https://quassel-irc.org - Chat comfortably. Anywhere.]

23:35 zebrag has quit [Quit: Konversation terminated!]

23:35 zebrag has joined #ocaml

23:52 tane has quit [Quit: Leaving]

23:53 Hrundi_V_Bakshi has quit [Ping timeout: 258 seconds]