zebrag has quit [Remote host closed the connection]
aquijoule_ has joined #ocaml
richbridger has quit [Ping timeout: 264 seconds]
<d_bot>
<EduardoRFS> Why not implicit?
hex0punk has joined #ocaml
<companion_cube>
There are no implicit coercions in ocaml
mbuf has joined #ocaml
hex0punk has quit [Ping timeout: 244 seconds]
zodeishi has quit [Ping timeout: 268 seconds]
<d_bot>
<dj charlie> 👀 nice to see the stdlib increasingly fleshed out feels good
<companion_cube>
like what?
<d_bot>
<dj charlie> like fold_left and fold_right with the strings
<d_bot>
<dj charlie> the math functions for floats
<companion_cube>
Lolol ok
<companion_cube>
Fold on string, heh?
<companion_cube>
Forgot that that wasn't there
<d_bot>
<dj charlie> hey guy who wrote his own stdlib
<d_bot>
<dj charlie> it's pretty cool to me ok?
hackinghorn has quit [Quit: Leaving]
shawnw has quit [Ping timeout: 272 seconds]
Guest3263 has quit [Ping timeout: 252 seconds]
Guest3263 has joined #ocaml
crabbedhaloablut has quit [Remote host closed the connection]
crabbedhaloablut has joined #ocaml
wonko has joined #ocaml
shawnw has joined #ocaml
shawnw has quit [Ping timeout: 244 seconds]
mro has joined #ocaml
Tuplanolla has joined #ocaml
mro has quit [Remote host closed the connection]
mro has joined #ocaml
bartholin has joined #ocaml
mro has quit [Remote host closed the connection]
mro has joined #ocaml
wonko has quit [Ping timeout: 264 seconds]
mro has quit [Remote host closed the connection]
mro has joined #ocaml
mro has quit [Remote host closed the connection]
mro has joined #ocaml
mro has quit [Remote host closed the connection]
mro has joined #ocaml
mro has quit [Remote host closed the connection]
mro has joined #ocaml
bartholin has quit [Quit: Leaving]
bartholin has joined #ocaml
mro has quit [Remote host closed the connection]
mro has joined #ocaml
bartholin has quit [Ping timeout: 244 seconds]
Haudegen has joined #ocaml
mro has quit [Quit: Leaving...]
bartholin has joined #ocaml
dhil has joined #ocaml
waleee has joined #ocaml
<companion_cube>
:D it is, it is
bartholin has quit [Ping timeout: 268 seconds]
bartholin has joined #ocaml
aquijoule_ has quit [Ping timeout: 268 seconds]
zodeishi has joined #ocaml
richbridger has joined #ocaml
gareppa has joined #ocaml
gareppa has quit [Quit: Leaving]
favonia_ has quit [Ping timeout: 252 seconds]
eight has quit [Ping timeout: 252 seconds]
tane has joined #ocaml
<tane>
howdy! found the way
zebrag has joined #ocaml
bartholin has quit [Ping timeout: 252 seconds]
favonia has joined #ocaml
tizoc has joined #ocaml
eight has joined #ocaml
bartholin has joined #ocaml
favonia has quit [Ping timeout: 252 seconds]
favonia has joined #ocaml
crabbedhaloablut has left #ocaml [#ocaml]
tizoc has quit [Quit: Leaving...]
tizoc has joined #ocaml
favonia has quit [Ping timeout: 244 seconds]
favonia has joined #ocaml
mro has joined #ocaml
favonia has quit [Ping timeout: 264 seconds]
favonia has joined #ocaml
rak has quit [Quit: Segmentation fault (core dumped)]
favonia has quit [Ping timeout: 272 seconds]
swarm has joined #ocaml
favonia has joined #ocaml
rak has joined #ocaml
<d_bot>
<giga_08> anyone familiar with ocaml verification? termination in particular
mro has quit [Remote host closed the connection]
TheLemonMan has joined #ocaml
bartholin has quit [Ping timeout: 244 seconds]
<d_bot>
<darrenldl> small code or large projects?
swarm has quit [Read error: Connection reset by peer]
swarm has joined #ocaml
zebrag has quit [Quit: Konversation terminated!]
bartholin has joined #ocaml
mbuf has quit [Quit: Leaving]
dhil has quit [Ping timeout: 252 seconds]
swarm has quit [Quit: Leaving]
<d_bot>
<giga_08> small code
bartholin has quit [Ping timeout: 252 seconds]
<companion_cube>
@giga_08 you could give a look at try.imandra.ai (it's proprietary but termination checking is def. sth interesting)
bartholin has joined #ocaml
wonko has joined #ocaml
dhil has joined #ocaml
bartholin has quit [Ping timeout: 268 seconds]
bartholin has joined #ocaml
bartholin has quit [Remote host closed the connection]
bartholin has joined #ocaml
TheLemonMan has quit [Quit: "It's now safe to turn off your computer."]
bartholin has quit [Ping timeout: 272 seconds]
bartholin has joined #ocaml
selimcan has joined #ocaml
selimcan has quit [Client Quit]
mro has joined #ocaml
hex0punk has joined #ocaml
tane has quit [Ping timeout: 245 seconds]
hex0punk has quit [Ping timeout: 265 seconds]
pieguy128 has quit [Ping timeout: 272 seconds]
pieguy128 has joined #ocaml
pieguy128_ has joined #ocaml
pieguy128 has quit [Ping timeout: 264 seconds]
bartholin has quit [Ping timeout: 264 seconds]
mro has quit [Ping timeout: 264 seconds]
wonko has quit [Ping timeout: 252 seconds]
<d_bot>
<TheSkeward> learning ocaml and I occasionally giggle to myself because "O Caml! My Camel!" will pop into my head like a line from some sort of desert-themed walt whitman poem
<companion_cube>
`my $camel` sounds more like perl, tbh