mahmudov has quit [Remote host closed the connection]
Hrundi_V_Bakshi has quit [Ping timeout: 265 seconds]
twopoint718 has joined #ocaml
<rgrinberg>
Leonidas i thin this is one of those cases where it's not so obvious what is the cause and what is the effect. Everyone in the community is quite careful to make sure Lwt stays working
tormen_ has joined #ocaml
twopoint718 has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
tormen has quit [Ping timeout: 268 seconds]
mfp has quit [Ping timeout: 265 seconds]
twopoint718 has joined #ocaml
dborisog_ has joined #ocaml
nullifidian__ has joined #ocaml
nullifidian_ has quit [Read error: Connection reset by peer]
ziyourenxiang has quit [Quit: Leaving]
twopoint718 has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
FreeBirdLjj has joined #ocaml
ziyourenxiang has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
stux|RC-only has quit [Ping timeout: 260 seconds]
stux|RC-only has joined #ocaml
nicolaus has joined #ocaml
nullifidian__ has quit [Read error: Connection reset by peer]
nullifidian__ has joined #ocaml
nicolaus_ has joined #ocaml
<nicolaus_>
quite
nicolaus_ has quit [Client Quit]
nicolaus has quit [Quit: leaving]
nicolaus has joined #ocaml
wingsorc has quit [Ping timeout: 248 seconds]
gravicappa has joined #ocaml
narimiran has joined #ocaml
gravicappa has quit [Ping timeout: 258 seconds]
no-n has joined #ocaml
ygrek has joined #ocaml
barockobamo has joined #ocaml
oni-on-ion has quit [Quit: Quit]
nullifidian_ has joined #ocaml
nullifidian__ has quit [Ping timeout: 268 seconds]
ArthurStrong has joined #ocaml
ArthurStrong has quit [Quit: leaving]
dhil has joined #ocaml
bartholin has quit [Quit: Leaving]
jao has joined #ocaml
jao is now known as Guest61074
Guest61074 has quit [Remote host closed the connection]
jao- has joined #ocaml
FreeBirdLjj has joined #ocaml
jao- has quit [Remote host closed the connection]
jao` has joined #ocaml
jao` has quit [Changing host]
jao` has joined #ocaml
leah2 has quit [Ping timeout: 252 seconds]
FreeBirdLjj has quit [Remote host closed the connection]
leah2 has joined #ocaml
leah2 has quit [Client Quit]
leah2 has joined #ocaml
Serpent7776 has joined #ocaml
mfp has joined #ocaml
ggole has joined #ocaml
ruffy_ has quit [Quit: WeeChat 2.5]
slash has joined #ocaml
gravicappa has joined #ocaml
dreadedfrog has joined #ocaml
<haesbaert>
heya, I need a symbol for "is contained" basically s_point_at_square pt sqt -> bool
<haesbaert>
I bet there is a common symbol people use for that
<haesbaert>
I want to be able to write if pt SYMBOL_IS_CONTAINED square
<haesbaert>
if bla in set
<haesbaert>
p C set
<dreadedfrog>
∈ ?
<haesbaert>
something ascii
<hannes>
haesbaert: \in ?
<haesbaert>
ohhh
<haesbaert>
can I use \ ?
<hannes>
.oO(that's ascii and latex)
<hannes>
oops, I suspect not in OCaml code
<haesbaert>
I assumed there was a symbol everyone used for that, like >>= for monadic stuff
<haesbaert>
since it's kinda a common pattern I think
<vbmithr>
companion_cube: yes
<vbmithr>
thanks for the patch.
FreeBirdLjj has joined #ocaml
dhil has quit [Ping timeout: 248 seconds]
nicolaus has quit [Quit: Lost terminal]
leah2 has quit [Ping timeout: 248 seconds]
nullifidian__ has joined #ocaml
count3rmeasure has joined #ocaml
nullifidian_ has quit [Read error: Connection reset by peer]
leah2 has joined #ocaml
dhil has joined #ocaml
<companion_cube>
✔
AnimalClatter has joined #ocaml
<Leonidas>
I think the OCaml way is to call it `mem` ;-)
barockobamo has quit [Remote host closed the connection]
barockobamo has joined #ocaml
dhil has quit [Ping timeout: 248 seconds]
dhil has joined #ocaml
vicfred has quit [Quit: Leaving]
mononote has left #ocaml ["Leaving"]
mononote has joined #ocaml
stux|RC-- has joined #ocaml
ygrek has quit [Ping timeout: 240 seconds]
ziyourenxiang has quit [Ping timeout: 240 seconds]
stux|RC has quit [Ping timeout: 265 seconds]
dhil has quit [Ping timeout: 248 seconds]
smazga has joined #ocaml
twopoint718 has joined #ocaml
count3rmeasure has quit [Quit: Leaving]
dreadedfrog has quit [Ping timeout: 240 seconds]
mahmudov has joined #ocaml
dreadedfrog has joined #ocaml
dreadedfrog has quit [Ping timeout: 268 seconds]
<mahmudov>
ocaml-light is active project?
<mahmudov>
related link seems dead, for relaeses.
dreadedfrog has joined #ocaml
dreadedfrog has quit [Ping timeout: 260 seconds]
gareppa has joined #ocaml
stux|RC-- has quit [Quit: Aloha!]
stux|RC has joined #ocaml
AnimalClatter has quit [Ping timeout: 240 seconds]
FreeBirdLjj has quit [Remote host closed the connection]
kjak has quit [Ping timeout: 268 seconds]
TheLemonMan has joined #ocaml
sagax has quit [Ping timeout: 258 seconds]
dborisog_ has quit [Ping timeout: 240 seconds]
oni-on-ion has joined #ocaml
oni-on-ion has quit [Remote host closed the connection]
barockobamo has quit [Remote host closed the connection]
oni-on-ion has joined #ocaml
nullifidian_ has joined #ocaml
nullifidian__ has quit [Ping timeout: 258 seconds]
slash has quit [Ping timeout: 260 seconds]
wingsorc has joined #ocaml
count3rmeasure has joined #ocaml
<companion_cube>
it's pretty dead :D
decentpenguin has joined #ocaml
dreadedfrog has joined #ocaml
klntsky has quit [Remote host closed the connection]
klntsky has joined #ocaml
dreadedfrog has quit [Ping timeout: 258 seconds]
dreadedfrog has joined #ocaml
dreadedfrog has quit [Ping timeout: 240 seconds]
nullifidian__ has joined #ocaml
dreadedfrog has joined #ocaml
nullifidian_ has quit [Ping timeout: 240 seconds]
ggole has quit [Quit: Leaving]
dreadedfrog has quit [Ping timeout: 268 seconds]
decentpenguin has quit [Quit: decentpenguin]
oni-on-ion has quit [Quit: Leaving]
Hrundi_V_Bakshi has joined #ocaml
oni-on-ion has joined #ocaml
gareppa has quit [Quit: Leaving]
dreadedfrog has joined #ocaml
oni-on-ion has quit [Client Quit]
oni-on-ion has joined #ocaml
dreadedfrog has quit [Ping timeout: 268 seconds]
dreadedfrog has joined #ocaml
dreadedfrog has quit [Ping timeout: 265 seconds]
klntsky has quit [Ping timeout: 240 seconds]
klntsky has joined #ocaml
dreadedfrog has joined #ocaml
decentpenguin has joined #ocaml
dreadedfrog has quit [Ping timeout: 268 seconds]
oni-on-ion has quit [Quit: Leaving]
slash has joined #ocaml
bartholin has joined #ocaml
Anarchos has joined #ocaml
count3rmeasure has quit [Quit: Leaving]
<Leonidas>
what's ocaml-light?
<companion_cube>
:DDD
<companion_cube>
it's the ancestor of OCaml (I mean, it's "caml-light", not ocaml-light, but anyway)
<companion_cube>
almost exclusively used in french univ.
<companion_cube>
and now they finally switched to OCaml afaik