waleee has quit [Ping timeout: 244 seconds]
ente` has quit [Ping timeout: 252 seconds]
ente` has joined #ocaml
bobo_ has joined #ocaml
spip has quit [Ping timeout: 252 seconds]
rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
rgrinberg has joined #ocaml
John_Ivan has quit [Ping timeout: 244 seconds]
rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
rgrinberg has joined #ocaml
chrisz has quit [Ping timeout: 268 seconds]
chrisz has joined #ocaml
rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
terrorjack has joined #ocaml
mikess has quit [Ping timeout: 250 seconds]
rgrinberg has joined #ocaml
Haudegen has joined #ocaml
zebrag has quit [Quit: Konversation terminated!]
rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
Geekingfrog has joined #ocaml
mro has joined #ocaml
Serpent7776 has joined #ocaml
sthaan has joined #ocaml
John_Ivan has joined #ocaml
<
sthaan>
is there a non-root writable search path for ocaml libraries?
<
sthaan>
for example, Coq searches for libraries in both /usr/lib/coq and $XDG_DATA_HOME/coq
olle has joined #ocaml
azimut has quit [Ping timeout: 258 seconds]
olle has quit [Ping timeout: 265 seconds]
mro has quit [Read error: Connection reset by peer]
mro_ has joined #ocaml
wingsorc has quit [Remote host closed the connection]
wingsorc has joined #ocaml
waleee has joined #ocaml
bartholin has joined #ocaml
mro_ has quit [Remote host closed the connection]
wonko has joined #ocaml
mro has joined #ocaml
olle has joined #ocaml
nd__ has joined #ocaml
wonko has quit [Ping timeout: 264 seconds]
darchitect has quit [Ping timeout: 244 seconds]
mro has quit [Remote host closed the connection]
mro has joined #ocaml
waleee has quit [Quit: WeeChat 3.6]
wonko has joined #ocaml
Techcable has quit [Ping timeout: 244 seconds]
wonko has quit [Ping timeout: 268 seconds]
orbifx has joined #ocaml
mro has quit [Quit: Leaving...]
wingsorc has quit [Ping timeout: 268 seconds]
Haudegen has quit [Quit: Bin weg.]
trev has joined #ocaml
trev has quit [Remote host closed the connection]
wonko has joined #ocaml
wonko has quit [Ping timeout: 268 seconds]
Haudegen has joined #ocaml
bobo_ has quit [Read error: Connection reset by peer]
bobo_ has joined #ocaml
jpds1 has quit [Ping timeout: 258 seconds]
jpds1 has joined #ocaml
<
reynir>
Did the (>>|=) operator exist in lwt or another library, or is that a typo in this README I'm looking at?
<
vsiles>
good luck for googling this :D
<
vsiles>
wow, what's that website ??
<
vsiles>
but it's nice !
<
mclovin>
it's really cool and was made by Arthur Wendling :)
<
mclovin>
you can use regexps if you want something more accurate :)
<
reynir>
thanks vsiles !
waleee has joined #ocaml
<
vsiles>
thanks mclovin ;)
<
reynir>
err, exactly! :D
szkl has joined #ocaml
wonko has joined #ocaml
orbifx has quit [Quit: orbifx]
orbifx has joined #ocaml
wonko has quit [Ping timeout: 250 seconds]
wonko has joined #ocaml
waleee has quit [Ping timeout: 268 seconds]
azimut has joined #ocaml
gentauro has quit [Read error: Connection reset by peer]
Haudegen has quit [Quit: Bin weg.]
gentauro has joined #ocaml
waleee has joined #ocaml
<
sim642>
Heh, I guess sherlodoc might benefit from some heuristics for better sorting the results
olle has quit [Remote host closed the connection]
troydm has quit [Ping timeout: 268 seconds]
Serpent7776 has quit [Quit: WeeChat 1.9.1]
John_Ivan has quit [Read error: Connection reset by peer]
John_Ivan has joined #ocaml
Techcable has joined #ocaml
troydm has joined #ocaml
waleee has quit [Ping timeout: 252 seconds]
wonko has quit [Read error: Connection reset by peer]
Serpent7776 has joined #ocaml
Haudegen has joined #ocaml
olle has joined #ocaml
Tuplanolla has joined #ocaml
rgrinberg has joined #ocaml
orbifx has quit [Quit: orbifx]
orbifx has joined #ocaml
adanwan has quit [Remote host closed the connection]
adanwan has joined #ocaml
noonien has joined #ocaml
jtm has quit [Ping timeout: 268 seconds]
jtm has joined #ocaml
darchitect has joined #ocaml
rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
pukkamustard has quit [Quit: Gateway shutdown]
pukkamustard has joined #ocaml
wingsorc__ has joined #ocaml
wagle has joined #ocaml
bartholin has quit [Quit: Leaving]
Everything has joined #ocaml
rwmjones|CONF is now known as rwmjones|HOL
rgrinberg has joined #ocaml
waleee has joined #ocaml
reynir has quit [Ping timeout: 252 seconds]
waleee has quit [Ping timeout: 252 seconds]
orbifx has quit [Ping timeout: 265 seconds]
waleee has joined #ocaml
Tuplanolla has quit [Quit: Leaving.]
Everything has quit [Quit: leaving]
waleee has quit [Ping timeout: 260 seconds]
waleee has joined #ocaml
John_Ivan has quit [Ping timeout: 268 seconds]
olle has quit [Ping timeout: 265 seconds]