malc_ has quit [Quit: ERC (IRC client for Emacs 25.0.50.2)]
nahra has joined #ocaml
tg has quit [Remote host closed the connection]
dedgrant has quit [Quit: Leaving]
infinity0_ has joined #ocaml
infinity0_ has quit [Changing host]
infinity0_ has joined #ocaml
infinity0 has quit [Killed (verne.freenode.net (Nickname regained by services))]
shinnya has quit [Ping timeout: 240 seconds]
sz0 has quit [Quit: Connection closed for inactivity]
dedgrant has joined #ocaml
silver has quit [Read error: Connection reset by peer]
Haudegen has quit [Read error: Connection reset by peer]
mfp has quit [Ping timeout: 240 seconds]
jao has quit [Remote host closed the connection]
jao has joined #ocaml
tg has joined #ocaml
<
companion_cube>
ok, I have issues with num on 4.05
<
companion_cube>
it's supposed to be installed
<
companion_cube>
but I can't `#require "num"`
jimmyrcom has joined #ocaml
fredcy has joined #ocaml
<
okeuday_bak>
companion_cube: you want base-num I think
<
companion_cube>
I know, it's there
<
companion_cube>
but I should be able to require num, shouldn't I?
<
companion_cube>
otherwise what's the point of base-num?
<
okeuday_bak>
companion_cube: to be honest, I am not sure, I ended up adding num to a few repos, because I wanted builds to work in isolation
<
companion_cube>
:/
iitalics has joined #ocaml
govg has joined #ocaml
jao has quit [Remote host closed the connection]
kerrhau has quit [Ping timeout: 265 seconds]
jbrown has quit [Ping timeout: 276 seconds]
igitoor has quit [Ping timeout: 252 seconds]
igitoor has joined #ocaml
igitoor has quit [Changing host]
igitoor has joined #ocaml
jimmyrcom has quit [Ping timeout: 256 seconds]
pierpa has quit [Quit: Page closed]
iitalics has quit [Ping timeout: 256 seconds]
ygrek_ has joined #ocaml
ygrek_ has quit [Ping timeout: 255 seconds]
ziyourenxiang has quit [Ping timeout: 255 seconds]
ziyourenxiang has joined #ocaml
jimmyrcom has joined #ocaml
jimmyrcom has quit [Ping timeout: 256 seconds]
slash^ has joined #ocaml
jimmyrcom has joined #ocaml
zolk3ri has joined #ocaml
kakadu has joined #ocaml
mfp has joined #ocaml
govg has quit [Ping timeout: 256 seconds]
govg has joined #ocaml
TarVanimelde has joined #ocaml
nicootje is now known as nicoo
<
Leonidas>
companion_cube: I had this failing as well. Ended up nuking the switch and reinstalling and that fixed it
jimmyrcom has quit [Ping timeout: 256 seconds]
kolko has joined #ocaml
silver has joined #ocaml
TarVanimelde has quit [Quit: TarVanimelde]
argent_smith1 has joined #ocaml
argent_smith has quit [Ping timeout: 248 seconds]
jnavila has joined #ocaml
Haudegen has joined #ocaml
jnavila has quit [Ping timeout: 256 seconds]
nicoo has quit [Remote host closed the connection]
nicoo has joined #ocaml
peeteerm has joined #ocaml
kolko has joined #ocaml
dhil has joined #ocaml
sonologico has joined #ocaml
BitPuffin has joined #ocaml
feli has joined #ocaml
peeteerm has quit [Ping timeout: 255 seconds]
sonologico has quit [Ping timeout: 260 seconds]
peeteerm has joined #ocaml
TheNewLearner has joined #ocaml
<
TheNewLearner>
Hello
TheNewLearner has quit [Ping timeout: 260 seconds]
dhil has quit [Ping timeout: 255 seconds]
spew has joined #ocaml
maattdd has quit [Ping timeout: 256 seconds]
spew has quit [Read error: Connection reset by peer]
jnavila has joined #ocaml
<
adrien>
feli: the general pattern is "let x = ... in let y = ... in z"
<
adrien>
here you have "let x = ... in let y = ..."
<
feli>
okay, I guess I see
<
adrien>
I think the way you want it is closer to
<
adrien>
let count_true l =
<
adrien>
let rec count_true_inner l acc =
<
adrien>
count_true_inner l 0
govg has quit [Ping timeout: 256 seconds]
<
adrien>
feli: yeah, exactly :)
jnavila has quit [Ping timeout: 256 seconds]
<
feli>
thank you, adrien
andreas_ has quit [Quit: Connection closed for inactivity]
ziyourenxiang has quit [Ping timeout: 276 seconds]
sonologico has joined #ocaml
jnavila has joined #ocaml
jnavila has quit [Quit: Konversation terminated!]
jnavila has joined #ocaml
KeyJoo has joined #ocaml
spew has joined #ocaml
keyjoo_ has joined #ocaml
KeyJoo has quit [Ping timeout: 256 seconds]
kalio has quit [Quit: WeeChat 2.0.1]
jbrown has joined #ocaml
kalio has joined #ocaml
nullifidian has quit [Remote host closed the connection]
nullifidian has joined #ocaml
nullifidian has quit [Remote host closed the connection]
spew has quit [Ping timeout: 240 seconds]
jao has joined #ocaml
jnavila has quit [Ping timeout: 240 seconds]
kerrhau has joined #ocaml
nullifidian has joined #ocaml
Haudegen has quit [Remote host closed the connection]
slash^ has quit [Read error: Connection reset by peer]
BitPuffin has quit [Remote host closed the connection]
Haudegen has joined #ocaml
peeteerm has left #ocaml [#ocaml]
mengu has joined #ocaml
jimmyrcom has joined #ocaml
an-tuan has joined #ocaml
mengu has quit [Remote host closed the connection]
jxv has joined #ocaml
jnavila has joined #ocaml
kakadu has quit [Ping timeout: 256 seconds]
Soni has quit [Ping timeout: 240 seconds]
kakadu_ has joined #ocaml
Soni has joined #ocaml
keyjoo_ has quit [Ping timeout: 276 seconds]
mengu has joined #ocaml
Algebr has joined #ocaml
Algebr` has joined #ocaml
Algebr has quit [Ping timeout: 255 seconds]
Algebr` has quit [Ping timeout: 256 seconds]
an-tuan has quit [Quit: WeeChat 2.0]
jnavila has quit [Ping timeout: 256 seconds]
Algebr` has joined #ocaml
Algebr`` has joined #ocaml
Algebr``` has joined #ocaml
Algebr has joined #ocaml
Algebr`` has quit [Ping timeout: 240 seconds]
Algebr` has quit [Ping timeout: 256 seconds]
Algebr``` has quit [Ping timeout: 256 seconds]
Algebr has quit [Ping timeout: 276 seconds]
mengu has quit [Remote host closed the connection]
hannes has quit [Ping timeout: 260 seconds]
hannes has joined #ocaml
kakadu has joined #ocaml
kakadu_ has quit [Ping timeout: 256 seconds]
ziyourenxiang has joined #ocaml
ziyourenxiang has quit [Ping timeout: 276 seconds]
Algebr has joined #ocaml
Algebr` has joined #ocaml
Algebr has quit [Ping timeout: 256 seconds]
Algebr` has quit [Remote host closed the connection]
jxv has quit [Quit: string on the can snapped off]