thomas_scrace has quit [Ping timeout: 252 seconds]
esrarkesh has joined #ocaml
esrarkesh has quit [Remote host closed the connection]
Fare has joined #ocaml
silver has quit [Read error: Connection reset by peer]
jao has quit [Ping timeout: 252 seconds]
zozozo has quit [Ping timeout: 252 seconds]
igitoor has quit [Ping timeout: 240 seconds]
igitoor has joined #ocaml
zozozo has joined #ocaml
bitonic5 has joined #ocaml
bitonic5 has quit [Remote host closed the connection]
erkin has joined #ocaml
igitoor has quit [Changing host]
igitoor has joined #ocaml
troydm has quit [Ping timeout: 240 seconds]
ygrek has joined #ocaml
KeyJoo has quit [Ping timeout: 240 seconds]
tormen_ has joined #ocaml
<oni-on-ion>
soo... sexp
<oni-on-ion>
base lib =/
tormen has quit [Ping timeout: 260 seconds]
thomas_scrace has joined #ocaml
thomas_scrace has quit [Ping timeout: 245 seconds]
juvaldma18 has joined #ocaml
juvaldma18 has quit [Remote host closed the connection]
pierpal has quit [Quit: Poof]
pierpal has joined #ocaml
Fare has quit [Ping timeout: 260 seconds]
Fare has joined #ocaml
kleimkuhler has joined #ocaml
jbrown has quit [Ping timeout: 272 seconds]
troydm has joined #ocaml
erkin has quit [Remote host closed the connection]
kvda has quit [Ping timeout: 252 seconds]
<xvilka>
Clang-3.8? It is ancient, Clang-7.0 was released a couple days ago
<oni-on-ion>
whoa =)
<oni-on-ion>
as for base lib. no consensus for starting out? i know ocaml but i dont want to be midway in a project having to change stdlibs! why ocaml so manies =(
ygrek_ has joined #ocaml
ygrek has quit [Remote host closed the connection]
<emily>
not sure there's a consensus on containers v. base, but there seemed to be a consensus for those over other options at least
<oni-on-ion>
first heard of them today
<oni-on-ion>
base != builtin ocaml stdlib?
<oni-on-ion>
*<>
thomas_scrace has joined #ocaml
demonimin has quit [Ping timeout: 252 seconds]
<emily>
containers is an extension to the builtin ocaml stdlib. jane street's base replaces it
thomas_scrace has quit [Ping timeout: 252 seconds]
pierpal has quit [Read error: Connection reset by peer]
pierpal has joined #ocaml
dxtr has quit [Ping timeout: 240 seconds]
<oni-on-ion>
ahh, i thought jane street was called Core. ty
demonimin has joined #ocaml
demonimin has quit [Changing host]
demonimin has joined #ocaml
noitakomentaja has joined #ocaml
dxtr has joined #ocaml
kleimkuhler has quit [Quit: kleimkuhler]
Fare has quit [Ping timeout: 272 seconds]
<def`>
core is an extension of base with fancier features
KeyJoo has joined #ocaml
<Leonidas>
It mostly is just more things and things that depend on Unix
<Leonidas>
(that's also the difference between Core_kernel and Core, e.g. you can compile Core_kernel to JS if you want)
<oni-on-ion>
def`: so is it called Core, or is it called Base ??
<oni-on-ion>
Leonidas: oh, that is a good thing. forward-looking to JS target would be beneficial
<Leonidas>
though compiling core_kernel to JS would probably yield giant JS files, base is probably safer
<oni-on-ion>
base safer for js ? ok =)
<Leonidas>
it is just a lot smaller and has way fewer dependencies (which also would need to be compiled to JS)
<oni-on-ion>
sick. i'm not attached to any of the other ones, whatever they are called =)
<oni-on-ion>
i will just use the builtin
<Leonidas>
as you wish. not a fan personally :-)
* emily
thinks oni-on-ion hasn't realised that "base" and "the builtin libraries" are not the same thing
<Leonidas>
ah
<Leonidas>
yeah, they are not the same thing
yurug has joined #ocaml
TheLemonMan has joined #ocaml
<oni-on-ion>
ugh
bartholin has joined #ocaml
ia0 has quit [Quit: leaving]
ia0 has joined #ocaml
thomas_scrace has joined #ocaml
sagotch has joined #ocaml
thomas_scrace has quit [Ping timeout: 240 seconds]
yurug has quit [Ping timeout: 272 seconds]
yurug has joined #ocaml
ia0 has quit [Quit: leaving]
ia0 has joined #ocaml
orbifx has joined #ocaml
ia0 has quit [Quit: leaving]
yurug has quit [Ping timeout: 252 seconds]
orbifx has quit [Ping timeout: 244 seconds]
yurug has joined #ocaml
abec04 has joined #ocaml
abec04 has quit [Remote host closed the connection]
mfp has joined #ocaml
bartholin has quit [Remote host closed the connection]
pierpal has quit [Ping timeout: 272 seconds]
Haudegen has joined #ocaml
thomas_scrace has joined #ocaml
<Leonidas>
Really digging the epoch opam proposal
<reynir>
Whats that?
keep_learning has quit [Ping timeout: 240 seconds]
thomas_scrace has quit [Ping timeout: 244 seconds]
<discord>
<mseri> The rewriting is in progress, but many chapters have been updated
<Ankhers>
mseri: Thank you!
Fare has joined #ocaml
pierpal has quit [Ping timeout: 260 seconds]
discord has quit [Remote host closed the connection]
discord has joined #ocaml
c4rc4s has joined #ocaml
thomas_scrace has quit [Ping timeout: 272 seconds]
thomas_scrace has joined #ocaml
drrty18 has joined #ocaml
drrty18 has quit [Remote host closed the connection]
noitakomentaja has quit [Quit: leaving]
kvda has quit [Ping timeout: 252 seconds]
Bathmat7 has joined #ocaml
Bathmat7 has quit [Remote host closed the connection]
Haudegen has joined #ocaml
ziyourenxiang has joined #ocaml
pierpal has joined #ocaml
pierpal has quit [Quit: Poof]
pierpal has joined #ocaml
pierpal has quit [Read error: Connection reset by peer]
pierpal has joined #ocaml
_andre has joined #ocaml
yurug has quit [Ping timeout: 246 seconds]
pierpal has quit [Read error: Connection reset by peer]
pierpal has joined #ocaml
freyr69 has quit [Remote host closed the connection]
pierpal has quit [Ping timeout: 252 seconds]
xSon1q has joined #ocaml
xSon1q is now known as Guest12720
noitakomentaja has joined #ocaml
Guest12720 has quit [Ping timeout: 260 seconds]
TheLemonMan has joined #ocaml
bartholin has joined #ocaml
pierpal has joined #ocaml
<Fare>
Using dune, of all the foo.a foo.cma foo.cmxs foo.cmxa targets, is there one that is more general than the other ones, or a simple target to generate them all without repeating all of them?
sagotch has quit [Quit: Leaving.]
sgnb has quit [Read error: Connection reset by peer]
<companion_cube>
weirdly, i'm excited about calendarlib being alive again in a near future
gareppa has quit [Quit: Leaving]
Fare has quit [Ping timeout: 240 seconds]
jaar has quit [Quit: Leaving]
Denommus has joined #ocaml
Haudegen has quit [Remote host closed the connection]
ibnfirnas_ has left #ocaml [#ocaml]
ibnfirnas has joined #ocaml
neatonk1 has joined #ocaml
neatonk has quit [Ping timeout: 252 seconds]
Denommus has quit [Ping timeout: 260 seconds]
judge2020 has joined #ocaml
judge2020 has quit [Remote host closed the connection]
thomas_scrace has quit [Ping timeout: 252 seconds]
Fare has joined #ocaml
Guest42655_ has joined #ocaml
Guest42655_ has quit [Remote host closed the connection]
Fare has quit [Ping timeout: 252 seconds]
Fare has joined #ocaml
jao has quit [Ping timeout: 252 seconds]
Fare has quit [Ping timeout: 272 seconds]
cu-olly19 has joined #ocaml
cu-olly19 has quit [Remote host closed the connection]
JimmyRcom has quit [Ping timeout: 240 seconds]
JimmyRcom has joined #ocaml
JimmyRcom has quit [Ping timeout: 260 seconds]
ziyourenxiang has quit [Ping timeout: 260 seconds]
jao has joined #ocaml
jedai has joined #ocaml
Fare has joined #ocaml
jedai has quit [Remote host closed the connection]
Fare has quit [Ping timeout: 260 seconds]
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 260 seconds]
Fare has joined #ocaml
kakadu has quit [Remote host closed the connection]
kleimkuhler has joined #ocaml
Xiaoman16 has joined #ocaml
Xiaoman16 has quit [Ping timeout: 246 seconds]
oyvindmo10 has joined #ocaml
Haudegen has joined #ocaml
JimmyRcom has joined #ocaml
Fare has quit [Ping timeout: 240 seconds]
Jesin has joined #ocaml
JimmyRcom has quit [Remote host closed the connection]
Jesin has quit [Remote host closed the connection]
oyvindmo10 has quit [Remote host closed the connection]
JimmyRcom has joined #ocaml
Jesin has joined #ocaml
kleimkuhler has quit [Quit: kleimkuhler]
Fare has joined #ocaml
joakino11 has joined #ocaml
kakadu has joined #ocaml
joakino11 has quit [Remote host closed the connection]
oni-on-ion has quit [Read error: No route to host]
thomas_scrace has joined #ocaml
thomas_scrace has quit [Ping timeout: 272 seconds]
JimmyRcom has quit [Ping timeout: 252 seconds]
SpeedEvil20 has joined #ocaml
SpeedEvil20 has quit [Remote host closed the connection]
jao has quit [Ping timeout: 260 seconds]
jack5638 has quit [Ping timeout: 252 seconds]
jack5638 has joined #ocaml
Jesin has quit [Quit: Leaving]
Jesin has joined #ocaml
neatonk1 has quit [Ping timeout: 252 seconds]
neatonk has joined #ocaml
JimmyRcom has joined #ocaml
neatonk has quit [Ping timeout: 240 seconds]
pecneden2 has joined #ocaml
fantasticsid has joined #ocaml
noitakomentaja has quit [Quit: leaving]
oni-on-ion has joined #ocaml
_andre has quit [Quit: leaving]
Fare has quit [Ping timeout: 272 seconds]
jnavila has joined #ocaml
fantasticsid has quit [Quit: ERC (IRC client for Emacs 27.0.50)]
silver_ has joined #ocaml
TheLemonMan has quit [Quit: "It's now safe to turn off your computer."]
silver has quit [Ping timeout: 244 seconds]
thomas_scrace has joined #ocaml
thomas_scrace has quit [Ping timeout: 245 seconds]
Fare has joined #ocaml
bartholin has quit [Remote host closed the connection]
jnavila has quit [Remote host closed the connection]
zv has quit [Ping timeout: 245 seconds]
kalio has quit [Ping timeout: 245 seconds]
zv has joined #ocaml
Fare has quit [Ping timeout: 246 seconds]
vakil5 has joined #ocaml
erkin has joined #ocaml
vakil5 has quit [Ping timeout: 260 seconds]
pecneden2 has quit [Remote host closed the connection]
jao has joined #ocaml
granttrec has joined #ocaml
<granttrec>
does any one here use coq? is it usefull for trivial simple proofs or is its only use in constructieng complex theorems
<emily>
it's arguably more useful for trivial proofs :p
<granttrec>
emily: really? could you help me construct a demo using this induction section from wikipedia? I want to try it out but its a bit confusing
<emily>
I think there's a channel for Coq, probably there would be better?