Banana changed the topic of #ocaml to: OCaml 3.08.1 available! | Archive of Caml Weekly News: http://sardes.inrialpes.fr/~aschmitt/cwn/ | A tutorial: http://merjis.com/richj/computers/ocaml/tutorial/ | A free book: http://cristal.inria.fr/~remy/cours/appsem/ | Mailing List: http://caml.inria.fr/bin/wilma/caml-list/ | Cookbook: http://pleac.sourceforge.net/
mrsolo has joined #ocaml
monochrom has joined #ocaml
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."]
cjohnson has joined #ocaml
GreyLensman has joined #ocaml