00:01
lggr has quit [Ping timeout: 244 seconds]
00:05
gnuvince has joined #ocaml
00:05
emmanuelux has joined #ocaml
00:07
lggr has joined #ocaml
00:10
<
thelema >
hcarty: weird type on ~bounds - can one have 'a bound_t * 'b bound_t?
00:12
lggr has quit [Ping timeout: 268 seconds]
00:15
BiDOrD has joined #ocaml
00:17
BiDOrD_ has quit [Ping timeout: 264 seconds]
00:18
lggr has joined #ocaml
00:26
lggr has quit [Ping timeout: 256 seconds]
00:31
lggr has joined #ocaml
00:33
<
thelema >
wmeyer: hiredman
00:36
<
wmeyer >
thelema: ? it's not that late in states ;-)
00:37
<
wmeyer >
that's what happen when people rely on companion_cube
00:37
<
wmeyer >
err, completion
00:37
lggr has quit [Ping timeout: 246 seconds]
00:37
<
wmeyer >
companion_cube: nothing personal :-) Hit the tab out of curiosity
00:41
ontologiae has joined #ocaml
00:42
<
wmeyer >
looking a lot at SML code
00:42
lggr has joined #ocaml
00:43
<
wmeyer >
it's actually quite good to see such heavily functorised code
00:44
<
wmeyer >
less appealing are all the manual (yes!) hash functions, I tend to agree and disagree but traversing a data structure explicitly and assigning a number is a bit weird
00:44
<
hcarty >
thelema: Nope, not unless 'a = 'b... that was definitely a typo :-) Fixed now.
00:45
<
wmeyer >
multiple argument patterns are nice too
00:46
<
wmeyer >
but in general it's weird to read toplevel fun thing
00:46
<
wmeyer >
and separate val
00:47
ontologiae has quit [Ping timeout: 256 seconds]
00:47
<
wmeyer >
also they use a lot of records, I think we have great fun having objects and first class modules!
00:48
<
wmeyer >
separation of type and datatype is weird but this is probably because of generative module system
00:48
ulfdoz_ has joined #ocaml
00:49
<
wmeyer >
in general, I'd say OCaml has nicer syntax (being very neutral)
00:49
<
wmeyer >
and more consistent
00:49
lggr has quit [Ping timeout: 248 seconds]
00:49
<
wmeyer >
also I heard that applicative functors are better :-)
00:50
<
wmeyer >
gasche perhaps would love to comment on that
00:52
pngl has quit [Ping timeout: 246 seconds]
00:52
ulfdoz has quit [Ping timeout: 248 seconds]
00:52
ulfdoz_ is now known as ulfdoz
00:55
lggr has joined #ocaml
00:59
lggr has quit [Ping timeout: 246 seconds]
01:02
lggr has joined #ocaml
01:03
<
hcarty >
thelema: Should saturate_of_ord return 'a or 'a option?
01:07
lggr has quit [Ping timeout: 256 seconds]
01:12
lggr has joined #ocaml
01:16
lggr has quit [Ping timeout: 246 seconds]
01:20
madroach has quit [Ping timeout: 265 seconds]
01:21
madroach has joined #ocaml
01:21
lggr has joined #ocaml
01:26
<
hcarty >
thelema: 'a it is, for now at least
01:27
<
wmeyer >
hcarty: is it Batteries, Bench or ..? :-) (curiosity)
01:27
<
hcarty >
wmeyer: Batteries
01:27
lggr has quit [Ping timeout: 246 seconds]
01:32
<
wmeyer >
hcarty: How about infinite boundaries?
01:32
<
wmeyer >
hcarty: also strict and non strict?
01:32
<
wmeyer >
(might be useful)
01:33
<
wmeyer >
oh, I see `c and `o that's probably what it is ...
01:34
lggr has joined #ocaml
01:35
<
hcarty >
wmeyer: `u -> unbounded/infinite
01:35
<
hcarty >
wmeyer: `c -> closed; `o -> open
01:37
<
wmeyer >
hcarty: ok
01:37
<
hcarty >
With 'open' meaning that the bound is included and 'closed' meaning that the bound is excluded
01:37
<
wmeyer >
have fun :-)
01:38
<
hcarty >
wmeyer: It was :-)
01:38
<
hcarty >
wmeyer: What do you mean by strict and non strict?
01:38
<
wmeyer >
yeah, now you can do a lot (2 numbers x 3 variants)
01:38
<
wmeyer >
hcarty: perhaps the same as closed and open for non native speaker that haven't read to many algebra papers :-)
01:39
lggr has quit [Ping timeout: 246 seconds]
01:39
<
wmeyer >
that = who
01:43
lggr has joined #ocaml
01:48
lggr has quit [Ping timeout: 268 seconds]
01:49
<
hcarty >
wmeyer: Seems reasonable
01:55
lggr has joined #ocaml
01:59
lggr has quit [Ping timeout: 246 seconds]
02:04
<
wmeyer >
hcarty: thanks. Why are you using polymoprhic variants?
02:05
emmanuelux has quit [Ping timeout: 246 seconds]
02:06
lggr has joined #ocaml
02:11
lggr has quit [Ping timeout: 244 seconds]
02:11
Yoric has joined #ocaml
02:19
lggr has joined #ocaml
02:23
lggr has quit [Ping timeout: 246 seconds]
02:28
hcarty2 has joined #ocaml
02:29
<
hcarty2 >
wmeyer: Less typing. Not much reason beyond that.
02:31
lggr has joined #ocaml
02:34
hcarty2 has quit [Read error: Connection reset by peer]
02:35
lggr has quit [Ping timeout: 244 seconds]
02:39
hcarty2 has joined #ocaml
02:43
lggr has joined #ocaml
02:49
lggr has quit [Ping timeout: 256 seconds]
02:54
lggr has joined #ocaml
02:54
hcarty2 has quit [Ping timeout: 264 seconds]
02:58
lggr has quit [Ping timeout: 248 seconds]
03:04
lggr has joined #ocaml
03:07
ghostbuster2 has quit [Ping timeout: 244 seconds]
03:08
lggr has quit [Ping timeout: 248 seconds]
03:14
lggr has joined #ocaml
03:18
lggr has quit [Ping timeout: 260 seconds]
03:24
lggr has joined #ocaml
03:29
lggr has quit [Ping timeout: 264 seconds]
03:29
Yoric has quit [Ping timeout: 240 seconds]
03:34
lggr has joined #ocaml
03:38
lggr has quit [Ping timeout: 260 seconds]
03:44
lggr has joined #ocaml
03:44
Playground has joined #ocaml
03:45
larhat has joined #ocaml
03:46
larhat has left #ocaml []
03:50
lggr has quit [Ping timeout: 256 seconds]
03:55
lggr has joined #ocaml
04:00
lggr has quit [Ping timeout: 248 seconds]
04:05
lggr has joined #ocaml
04:11
lggr has quit [Ping timeout: 260 seconds]
04:16
lggr has joined #ocaml
04:17
Playground is now known as Automorphism
04:21
lggr has quit [Ping timeout: 244 seconds]
04:23
<
Ptival >
(name it <whatever>.mly, and return <whatever>.ml)
04:28
lggr has joined #ocaml
04:33
lggr has quit [Ping timeout: 248 seconds]
04:38
lggr has joined #ocaml
04:43
lggr has quit [Ping timeout: 260 seconds]
04:50
lggr has joined #ocaml
04:54
lggr has quit [Ping timeout: 256 seconds]
04:59
lggr has joined #ocaml
05:04
lggr has quit [Ping timeout: 268 seconds]
05:09
lggr has joined #ocaml
05:13
lggr has quit [Ping timeout: 246 seconds]
05:18
lggr has joined #ocaml
05:22
lggr has quit [Ping timeout: 246 seconds]
05:27
lggr has joined #ocaml
05:33
rothwell has joined #ocaml
05:33
rothwell has quit [Changing host]
05:33
rothwell has joined #ocaml
05:33
lggr has quit [Ping timeout: 260 seconds]
05:38
lggr has joined #ocaml
05:42
lggr has quit [Ping timeout: 260 seconds]
05:48
lggr has joined #ocaml
05:49
nimred has joined #ocaml
05:49
nimred has quit [Changing host]
05:49
nimred has joined #ocaml
05:52
lggr has quit [Ping timeout: 264 seconds]
05:55
sepp2k has joined #ocaml
05:58
lggr has joined #ocaml
06:02
lggr has quit [Ping timeout: 256 seconds]
06:08
lggr has joined #ocaml
06:12
lggr has quit [Ping timeout: 245 seconds]
06:18
lggr has joined #ocaml
06:22
lggr has quit [Ping timeout: 246 seconds]
06:30
lggr has joined #ocaml
06:34
lggr has quit [Ping timeout: 246 seconds]
06:41
lggr has joined #ocaml
06:45
Yoric has joined #ocaml
06:46
lggr has quit [Ping timeout: 264 seconds]
06:51
lggr has joined #ocaml
06:52
jmcarthur has quit [*.net *.split]
06:52
wagle has quit [*.net *.split]
06:52
yroeht has quit [*.net *.split]
06:52
haelix has quit [*.net *.split]
06:52
companion_cube has quit [*.net *.split]
06:52
vbmithr has quit [*.net *.split]
06:54
TDJACR has quit [Read error: Operation timed out]
06:55
lggr has quit [Ping timeout: 245 seconds]
06:56
TDJACR has joined #ocaml
07:01
gnuvince has quit [Ping timeout: 246 seconds]
07:02
lggr has joined #ocaml
07:07
lggr has quit [Ping timeout: 246 seconds]
07:10
vbmithr has joined #ocaml
07:10
companion_cube has joined #ocaml
07:10
yroeht has joined #ocaml
07:10
jmcarthur has joined #ocaml
07:10
wagle has joined #ocaml
07:10
haelix has joined #ocaml
07:11
lggr has joined #ocaml
07:14
hcarty has quit [Ping timeout: 260 seconds]
07:14
hcarty has joined #ocaml
07:15
lggr has quit [Ping timeout: 240 seconds]
07:23
lggr has joined #ocaml
07:26
Cyanure has joined #ocaml
07:27
lggr has quit [Ping timeout: 248 seconds]
07:33
lggr has joined #ocaml
07:38
lggr has quit [Ping timeout: 256 seconds]
07:46
lggr has joined #ocaml
07:50
lggr has quit [Ping timeout: 256 seconds]
07:52
osa1 has joined #ocaml
07:52
lggr has joined #ocaml
07:57
lggr has quit [Ping timeout: 245 seconds]
07:58
Oejet has joined #ocaml
07:59
lggr has joined #ocaml
08:01
eni has joined #ocaml
08:03
lggr has quit [Ping timeout: 240 seconds]
08:09
Sablier_ has joined #ocaml
08:09
rothwell has quit [Ping timeout: 246 seconds]
08:09
lggr has joined #ocaml
08:14
lggr has quit [Ping timeout: 256 seconds]
08:17
mnabil has joined #ocaml
08:19
sgnb has quit [Read error: Connection reset by peer]
08:20
sgnb has joined #ocaml
08:20
lggr has joined #ocaml
08:22
pngl has joined #ocaml
08:25
lggr has quit [Ping timeout: 264 seconds]
08:29
sgnb has quit [Remote host closed the connection]
08:30
sgnb has joined #ocaml
08:32
lggr has joined #ocaml
08:36
lggr has quit [Ping timeout: 248 seconds]
08:42
lggr has joined #ocaml
08:48
lggr has quit [Ping timeout: 260 seconds]
08:56
lggr has joined #ocaml
09:02
lggr has quit [Ping timeout: 256 seconds]
09:04
eni has quit [Ping timeout: 256 seconds]
09:07
lggr has joined #ocaml
09:12
lggr has quit [Ping timeout: 256 seconds]
09:15
eni has joined #ocaml
09:19
lggr has joined #ocaml
09:23
lggr has quit [Ping timeout: 256 seconds]
09:27
lggr has joined #ocaml
09:33
lggr has quit [Ping timeout: 256 seconds]
09:39
lggr has joined #ocaml
09:43
lggr has quit [Ping timeout: 240 seconds]
09:46
lggr has joined #ocaml
09:51
lggr has quit [Ping timeout: 246 seconds]
09:55
lggr has joined #ocaml
10:00
lggr has quit [Ping timeout: 256 seconds]
10:02
lggr has joined #ocaml
10:04
err404 has joined #ocaml
10:08
lggr has quit [Ping timeout: 256 seconds]
10:10
lggr has joined #ocaml
10:12
Automorphism is now known as Brofessional
10:14
lggr has quit [Ping timeout: 246 seconds]
10:18
lggr has joined #ocaml
10:21
<
Drakken >
Ptival do you still want that ocamlyacc output?
10:26
lggr has quit [Ping timeout: 246 seconds]
10:30
lggr has joined #ocaml
10:38
lggr has quit [Ping timeout: 246 seconds]
10:42
lggr has joined #ocaml
10:47
lggr has quit [Ping timeout: 248 seconds]
10:51
Brofessional has quit [Quit: brb]
10:54
lggr has joined #ocaml
10:55
tufisi has joined #ocaml
10:58
lggr has quit [Ping timeout: 244 seconds]
11:03
lggr has joined #ocaml
11:04
tufisi has quit [Ping timeout: 246 seconds]
11:05
chambart has joined #ocaml
11:07
lggr has quit [Ping timeout: 244 seconds]
11:14
lggr has joined #ocaml
11:19
lggr has quit [Ping timeout: 268 seconds]
11:26
lggr has joined #ocaml
11:31
lggr has quit [Ping timeout: 246 seconds]
11:35
Cyanure has quit [Remote host closed the connection]
11:35
lggr has joined #ocaml
11:38
ontologiae has joined #ocaml
11:39
lggr has quit [Ping timeout: 244 seconds]
11:45
lggr has joined #ocaml
11:49
Oejet has left #ocaml []
11:50
ChristopheT has joined #ocaml
11:50
lggr has quit [Ping timeout: 244 seconds]
11:55
lggr has joined #ocaml
12:00
lggr has quit [Ping timeout: 248 seconds]
12:01
fraggle_ has quit [Remote host closed the connection]
12:08
lggr has joined #ocaml
12:08
osa1 has quit [Quit: Konversation terminated!]
12:08
fraggle_ has joined #ocaml
12:12
lggr has quit [Ping timeout: 256 seconds]
12:16
lggr has joined #ocaml
12:17
err404 has quit [Remote host closed the connection]
12:21
lggr has quit [Ping timeout: 264 seconds]
12:28
lggr has joined #ocaml
12:29
pqmodn has quit [Ping timeout: 240 seconds]
12:32
lggr has quit [Ping timeout: 248 seconds]
12:39
lggr has joined #ocaml
12:41
Sablier_ has quit []
12:43
chambart has quit [Ping timeout: 246 seconds]
12:44
lggr has quit [Ping timeout: 245 seconds]
12:46
Anarchos has joined #ocaml
12:51
lggr has joined #ocaml
12:57
xaimus has quit [Ping timeout: 246 seconds]
12:57
xaimus has joined #ocaml
12:58
lggr has quit [Ping timeout: 268 seconds]
13:02
pqmodn has joined #ocaml
13:03
lggr has joined #ocaml
13:07
lggr has quit [Ping timeout: 246 seconds]
13:14
<
thelema >
hcarty: yes, saturating should return 'a
13:14
lggr has joined #ocaml
13:19
lggr has quit [Ping timeout: 244 seconds]
13:27
lggr has joined #ocaml
13:33
lggr has quit [Ping timeout: 256 seconds]
13:37
lggr has joined #ocaml
13:38
<
Ptival >
Drakken: thank you
13:44
lggr has quit [Ping timeout: 268 seconds]
13:50
lggr has joined #ocaml
13:57
lggr has quit [Ping timeout: 244 seconds]
14:01
lggr has joined #ocaml
14:08
lggr has quit [Ping timeout: 256 seconds]
14:13
lggr has joined #ocaml
14:17
lggr has quit [Ping timeout: 244 seconds]
14:23
lggr has joined #ocaml
14:24
pqmodn has quit [Ping timeout: 248 seconds]
14:28
ghostbuster2 has joined #ocaml
14:28
lggr has quit [Ping timeout: 246 seconds]
14:34
eni has quit [Ping timeout: 240 seconds]
14:36
pqmodn has joined #ocaml
14:36
lggr has joined #ocaml
14:40
lggr has quit [Ping timeout: 240 seconds]
14:46
lggr has joined #ocaml
14:51
lggr has quit [Ping timeout: 244 seconds]
14:53
gnuvince has joined #ocaml
14:56
Anarchos has quit [Quit: Vision[0.9.7-H-090423]: i've been blurred!]
14:57
lggr has joined #ocaml
14:58
hongboz has joined #ocaml
15:00
pqmodn has quit [Ping timeout: 248 seconds]
15:01
pqmodn has joined #ocaml
15:01
lggr has quit [Ping timeout: 246 seconds]
15:05
pqmodn has quit [Ping timeout: 246 seconds]
15:06
pqmodn has joined #ocaml
15:06
lggr has joined #ocaml
15:11
lggr has quit [Ping timeout: 264 seconds]
15:18
lggr has joined #ocaml
15:23
lggr has quit [Ping timeout: 256 seconds]
15:29
hongboz has quit [Ping timeout: 246 seconds]
15:30
lggr has joined #ocaml
15:34
ontologiae has quit [Read error: No route to host]
15:35
lggr has quit [Ping timeout: 256 seconds]
15:37
oriba has joined #ocaml
15:39
lggr has joined #ocaml
15:44
lggr has quit [Ping timeout: 244 seconds]
15:49
cdidd has quit [Read error: Connection reset by peer]
15:50
lggr has joined #ocaml
15:52
oriba has quit [Quit: oriba]
15:52
avsm has joined #ocaml
15:52
Cyanure has joined #ocaml
15:54
lggr has quit [Ping timeout: 246 seconds]
15:55
osa1 has joined #ocaml
16:00
lggr has joined #ocaml
16:05
lggr has quit [Ping timeout: 256 seconds]
16:09
lggr has joined #ocaml
16:14
lggr has quit [Ping timeout: 256 seconds]
16:21
lggr has joined #ocaml
16:24
SanderM has joined #ocaml
16:28
lggr has quit [Ping timeout: 256 seconds]
16:33
lggr has joined #ocaml
16:37
mnabil has quit [Ping timeout: 260 seconds]
16:37
lggr has quit [Ping timeout: 245 seconds]
16:45
lggr has joined #ocaml
16:49
lggr has quit [Ping timeout: 245 seconds]
16:58
lggr has joined #ocaml
16:59
cdidd has joined #ocaml
17:05
lggr has quit [Ping timeout: 260 seconds]
17:11
lggr has joined #ocaml
17:15
cdidd has quit [Ping timeout: 256 seconds]
17:16
lggr has quit [Ping timeout: 268 seconds]
17:21
lggr has joined #ocaml
17:25
lggr has quit [Ping timeout: 244 seconds]
17:31
lggr has joined #ocaml
17:37
sepp2k has quit [Ping timeout: 246 seconds]
17:37
err404 has joined #ocaml
17:37
sepp2k has joined #ocaml
17:38
lggr has quit [Ping timeout: 256 seconds]
17:44
lggr has joined #ocaml
17:50
chambart has joined #ocaml
17:50
avsm has quit [Quit: Leaving.]
17:51
ghostbuster2 has quit [Ping timeout: 256 seconds]
17:52
lggr has quit [Ping timeout: 256 seconds]
17:52
cdidd has joined #ocaml
17:52
ghostbuster2 has joined #ocaml
17:56
Cyanure has quit [Ping timeout: 248 seconds]
17:58
lggr has joined #ocaml
17:59
Cyanure has joined #ocaml
17:59
avsm has joined #ocaml
18:02
eni has joined #ocaml
18:05
lggr has quit [Ping timeout: 246 seconds]
18:10
lggr has joined #ocaml
18:12
ghostbuster2 has quit [Ping timeout: 256 seconds]
18:18
lggr has quit [Ping timeout: 256 seconds]
18:22
fraggle_ has quit [Ping timeout: 245 seconds]
18:23
fraggle_ has joined #ocaml
18:23
lggr has joined #ocaml
18:26
Anarchos has joined #ocaml
18:26
chambart has quit [Ping timeout: 240 seconds]
18:30
lggr has quit [Ping timeout: 256 seconds]
18:35
avsm has quit [Quit: Leaving.]
18:36
lggr has joined #ocaml
18:40
lggr has quit [Ping timeout: 256 seconds]
18:44
Arsenik has joined #ocaml
18:45
lggr has joined #ocaml
18:47
avsm has joined #ocaml
18:49
lggr has quit [Ping timeout: 246 seconds]
18:55
lggr has joined #ocaml
19:00
lggr has quit [Ping timeout: 268 seconds]
19:07
eni has quit [Ping timeout: 268 seconds]
19:07
lggr has joined #ocaml
19:12
lggr has quit [Ping timeout: 256 seconds]
19:19
lggr has joined #ocaml
19:24
lggr has quit [Ping timeout: 256 seconds]
19:24
Cyanure has quit [Remote host closed the connection]
19:27
eni has joined #ocaml
19:28
lggr has joined #ocaml
19:32
avsm has quit [Quit: Leaving.]
19:33
eni has quit [Ping timeout: 264 seconds]
19:35
eni has joined #ocaml
19:35
lggr has quit [Ping timeout: 240 seconds]
19:36
sepp2k has quit [Read error: Connection reset by peer]
19:37
Arsenik has quit [Remote host closed the connection]
19:39
Kakadu has joined #ocaml
19:40
lggr has joined #ocaml
19:43
SanderM has quit [Quit: I need to take it elsewhere.]
19:46
pngl has quit [Ping timeout: 246 seconds]
19:47
lggr has quit [Ping timeout: 256 seconds]
19:52
lggr has joined #ocaml
19:59
ChristopheT has left #ocaml []
19:59
lggr has quit [Ping timeout: 240 seconds]
20:04
lggr has joined #ocaml
20:06
viric has joined #ocaml
20:06
<
viric >
Hello camels
20:06
<
viric >
should the native compiler work for armv5tel-linux?
20:07
<
viric >
I remember it failed around 3.11
20:09
lggr has quit [Ping timeout: 248 seconds]
20:16
lggr has joined #ocaml
20:19
emmanuelux has joined #ocaml
20:22
lggr has quit [Ping timeout: 256 seconds]
20:24
osa1 has quit [Quit: Konversation terminated!]
20:25
eni has quit [Quit: Leaving]
20:25
lggr has joined #ocaml
20:31
emmanuelux has quit [Remote host closed the connection]
20:35
lggr has quit [Ping timeout: 268 seconds]
20:38
lggr has joined #ocaml
20:44
lggr has quit [Ping timeout: 240 seconds]
20:46
oriba has joined #ocaml
20:50
lggr has joined #ocaml
20:51
Submarine has quit [Remote host closed the connection]
20:57
lggr has quit [Ping timeout: 248 seconds]
20:58
Yoric has quit [Ping timeout: 256 seconds]
21:05
lggr has joined #ocaml
21:12
lggr has quit [Ping timeout: 264 seconds]
21:17
lggr has joined #ocaml
21:17
sivoais has quit [Ping timeout: 246 seconds]
21:19
eikke has joined #ocaml
21:23
sivoais has joined #ocaml
21:23
lggr has quit [Ping timeout: 268 seconds]
21:31
lggr has joined #ocaml
21:39
lggr has quit [Ping timeout: 246 seconds]
21:42
Anarchos has quit [Quit: Vision[0.9.7-H-090423]: i've been blurred!]
21:43
lggr has joined #ocaml
21:48
eikke has quit [Ping timeout: 264 seconds]
21:50
lggr has quit [Ping timeout: 240 seconds]
21:58
lggr has joined #ocaml
22:01
emmanuelux has joined #ocaml
22:02
avsm has joined #ocaml
22:04
lggr has quit [Ping timeout: 264 seconds]
22:05
lggr has joined #ocaml
22:05
Kakadu has quit [Quit: Konversation terminated!]
22:12
lggr has quit [Ping timeout: 268 seconds]
22:16
BiDOrD_ has joined #ocaml
22:17
BiDOrD has quit [Ping timeout: 245 seconds]
22:20
lggr has joined #ocaml
22:27
cdidd has quit [Read error: Connection reset by peer]
22:28
lggr has quit [Ping timeout: 246 seconds]
22:32
lggr has joined #ocaml
22:38
cdidd has joined #ocaml
22:39
lggr has quit [Ping timeout: 248 seconds]
22:44
lggr has joined #ocaml
22:51
lggr has quit [Ping timeout: 256 seconds]
22:53
lggr has joined #ocaml
23:00
lggr has quit [Ping timeout: 256 seconds]
23:04
lggr has joined #ocaml
23:04
wagle has quit [Ping timeout: 276 seconds]
23:10
ghostbuster2 has joined #ocaml
23:11
lggr has quit [Ping timeout: 240 seconds]
23:17
lggr has joined #ocaml
23:24
lggr has quit [Ping timeout: 256 seconds]
23:29
lggr has joined #ocaml
23:36
lggr has quit [Ping timeout: 260 seconds]
23:40
lggr has joined #ocaml
23:47
lggr has quit [Ping timeout: 244 seconds]
23:49
lggr has joined #ocaml
23:56
lggr has quit [Ping timeout: 246 seconds]
23:57
wtetzner has quit [Read error: Connection reset by peer]
23:58
cdidd has quit [Remote host closed the connection]