maml has quit [Read error: 104 (Connection reset by peer)]
mrsolo has quit [Read error: 60 (Operation timed out)]
mrsolo has joined #ocaml
Herrchen_ has joined #ocaml
monochrom has quit ["Don't talk to those who talk to themselves."]
Herrchen has quit [Read error: 110 (Connection timed out)]
cjohnson has quit ["The main attraction: distraction"]
mrsolo has quit [Read error: 60 (Operation timed out)]
mrsolo has joined #ocaml
mlh has joined #ocaml
Nutssh has quit ["Client exiting"]
velco has joined #ocaml
m3ga has left #ocaml []
Nutssh has joined #ocaml
velco has quit ["I'm outta here ..."]
velco has joined #ocaml
jrosdahl has quit [Read error: 110 (Connection timed out)]
pango has quit ["Client exiting"]
pango has joined #ocaml
pango has quit [zelazny.freenode.net irc.freenode.net]
pango has joined #ocaml
pango has quit [zelazny.freenode.net irc.freenode.net]
pango has joined #ocaml
velco has quit [Read error: 238 (Connection timed out)]
_fab has joined #ocaml
Nutssh has quit ["Client exiting"]
vezenchio has joined #ocaml
Herrchen_ has quit ["bye"]
velco has joined #ocaml
mlh has quit [Client Quit]
det has quit [Read error: 104 (Connection reset by peer)]
det has joined #ocaml
Nutssh has joined #ocaml
cjohnson has joined #ocaml
malc_ has joined #ocaml
CosmicRay has joined #ocaml
velco has quit ["I'm outta here ..."]
<lmbdwr>
are sequent calculus and gentzen logic the same ? and what's the link with intuitionistic logic (I thought intuitionistic log. was gentzen logic actually)
dan2 has joined #ocaml
<dan2>
whats the best way to make ocaml bindings for libosip2
mlh has joined #ocaml
<dan2>
anybody here?
<dan2>
hello?
<mlh>
no
mlh has quit [Client Quit]
<dan2>
hmm
<dan2>
is there a good tutorial for making ocaml bindings to C libraries?
Demitar has quit [zelazny.freenode.net irc.freenode.net]
ez4 has quit [Read error: 54 (Connection reset by peer)]
Demitar has joined #ocaml
pflanze has joined #ocaml
<avlondono>
the information in the book is enough
<avlondono>
I learned using only that. it isn't big deal, and there are plenty of examples in the distribution itself.
cjohnson has quit ["The main attraction: distraction"]
<pango>
avlondono: have you tried the oreilly book ?
<avlondono>
yeah
pango has quit ["brb"]
cjohnson has joined #ocaml
velco has joined #ocaml
pango has joined #ocaml
pawelb has quit [Remote closed the connection]
pawelb has joined #ocaml
arty has left #ocaml []
cjohnson has quit ["The main attraction: distraction"]
velco has quit [Read error: 60 (Operation timed out)]
velco has joined #ocaml
Godeke has joined #ocaml
Nutssh has quit [zelazny.freenode.net irc.freenode.net]
dan2 has quit [zelazny.freenode.net irc.freenode.net]
mattam has quit [zelazny.freenode.net irc.freenode.net]
cmeme has quit [zelazny.freenode.net irc.freenode.net]
judge has quit [zelazny.freenode.net irc.freenode.net]
dan2 has joined #ocaml
Nutssh has joined #ocaml
mattam has joined #ocaml
cmeme has joined #ocaml
judge has joined #ocaml
mattam has quit [Remote closed the connection]
mattam_ has joined #ocaml
cjohnson has joined #ocaml
monochrom has joined #ocaml
vezenchio has quit ["None of you understand. I'm not locked up in here with you. YOU are locked up in here with ME!"]
<Nutssh>
dan2: Look at the ocaml docs. :)
mattam_ is now known as mattam
mrsolo has quit [Read error: 60 (Operation timed out)]
<dan2>
Nutssh: I am trying to do a whole library, not a single fle
pawelb has quit [Remote closed the connection]
cjohnson has quit [Connection timed out]
pawelb has joined #ocaml
velco has quit ["I'm outta here ..."]
monochrom has quit ["Don't talk to those who talk to themselves."]