jao has joined #ocaml
spew has quit [Quit: Connection closed for inactivity]
jao has quit [Remote host closed the connection]
jao has joined #ocaml
yrjan has quit [Quit: WeeChat 1.6]
AtumT has quit [Ping timeout: 258 seconds]
delysin has quit [Quit: WeeChat 2.5]
silver has quit [Read error: Connection reset by peer]
FreeBirdLjj has joined #ocaml
mfp has quit [Ping timeout: 244 seconds]
FreeBirdLjj has quit [Ping timeout: 246 seconds]
tizoc has quit [Quit: Coyote finally caught me]
sagax has quit [Ping timeout: 244 seconds]
hio has quit [Quit: Connection closed for inactivity]
nicoo has quit [Ping timeout: 260 seconds]
nicoo has joined #ocaml
jbrown has quit [Ping timeout: 252 seconds]
jbrown has joined #ocaml
jao has quit [Remote host closed the connection]
jao has joined #ocaml
jao has quit [Remote host closed the connection]
gravicappa has joined #ocaml
dhil has joined #ocaml
_whitelogger has joined #ocaml
dhil has quit [Ping timeout: 245 seconds]
Redfoxmoon has quit [Ping timeout: 245 seconds]
FreeBirdLjj has joined #ocaml
jmiven has quit [Quit: co'o]
jmiven has joined #ocaml
hio has joined #ocaml
narimiran has joined #ocaml
Redfoxmoon has joined #ocaml
narimiran has quit [Ping timeout: 245 seconds]
theglass has quit [Ping timeout: 268 seconds]
eskatrem has joined #ocaml
<
eskatrem>
Hello, does someone know what the command `predicates` does?
<
eskatrem>
#predicates, sorry
keep_learning_M has quit [Quit: This computer has gone to sleep]
theglass has joined #ocaml
theglass has quit [Changing host]
theglass has joined #ocaml
dmiles has quit [Read error: Connection reset by peer]
Redfoxmoon has quit [Changing host]
Redfoxmoon has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 272 seconds]
dmiles has joined #ocaml
progman2019 has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
mfp has joined #ocaml
zolk3ri has joined #ocaml
Haudegen has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
jnavila has joined #ocaml
jnavila has quit [Ping timeout: 276 seconds]
sagax has joined #ocaml
silver has joined #ocaml
sz0 has quit [Quit: Connection closed for inactivity]
narimiran has joined #ocaml
il598 has left #ocaml [#ocaml]
AtumT has joined #ocaml
Anarchos has joined #ocaml
Anarchos has quit [Client Quit]
jao has joined #ocaml
narimiran has quit [Remote host closed the connection]
keep_learning_M has joined #ocaml
Haudegen has quit [Ping timeout: 268 seconds]
andreas31 has quit [Remote host closed the connection]
andreas31 has joined #ocaml
andreas31 has quit [Remote host closed the connection]
tizoc has joined #ocaml
andreas31 has joined #ocaml
Haudegen has joined #ocaml
keep_learning_M has quit [Quit: This computer has gone to sleep]
FreeBirdLjj has joined #ocaml
AtumT has quit [Ping timeout: 246 seconds]
AtumT has joined #ocaml
zolk3ri has quit [Remote host closed the connection]
Haudegen has quit [Read error: Connection reset by peer]
dhil has joined #ocaml
Jesin has quit [Quit: Leaving]
Jesin has joined #ocaml
ziyourenxiang has quit [Ping timeout: 244 seconds]
docl has left #ocaml [#ocaml]
FreeBirdLjj has quit [Remote host closed the connection]
bartholin has joined #ocaml
gravicappa has quit [Ping timeout: 248 seconds]
jbrown has quit [Ping timeout: 245 seconds]
oni-on-ion has joined #ocaml
jao has quit [Remote host closed the connection]
dhil has quit [Ping timeout: 258 seconds]
jao has joined #ocaml
dhil has joined #ocaml
dhil has quit [Ping timeout: 248 seconds]
oni-on-ion has quit [Remote host closed the connection]
oni-on-ion has joined #ocaml
silver has quit [Ping timeout: 258 seconds]
nolanv has quit [Quit: WeeChat 2.4]
oni-on-ion has quit [Remote host closed the connection]
oni-on-ion has joined #ocaml
oni-on-ion has quit [Remote host closed the connection]
jbrown has joined #ocaml
oni-on-ion has joined #ocaml
hio has quit [Quit: Connection closed for inactivity]
ziyourenxiang has joined #ocaml