bk__ has quit ["I'll be back"]
Riastrad1 has joined #ocaml
Riastradh has quit [Nick collision from services.]
Riastrad1 is now known as Riastradh
clam has quit ["no reason"]
mattam has quit [Read error: 60 (Operation timed out)]
systems has joined #ocaml
Xcalibor has quit ["Terminando cliente"]
systems has left #ocaml []
Riastrad1 has joined #ocaml
Riastradh has quit [Nick collision from services.]
Riastrad1 is now known as Riastradh
smkl has quit [leguin.freenode.net irc.freenode.net]
smkl has joined #ocaml
smkl has quit [leguin.freenode.net irc.freenode.net]
polin8 has quit [leguin.freenode.net irc.freenode.net]
yella has quit [leguin.freenode.net irc.freenode.net]
teratorn has quit [leguin.freenode.net irc.freenode.net]
brwill has quit [leguin.freenode.net irc.freenode.net]
Smerdyakov has quit [leguin.freenode.net irc.freenode.net]
det has quit [leguin.freenode.net irc.freenode.net]
det has joined #ocaml
Smerdyakov has joined #ocaml
brwill has joined #ocaml
smkl has joined #ocaml
polin8 has joined #ocaml
yella has joined #ocaml
teratorn has joined #ocaml
Kinners has joined #ocaml
mattam has joined #ocaml
<
yella>
is there some good packet building library for ocaml ?
<
yella>
actually I think there is not =)
<
yella>
maybe some libnet bindings would be very nice..
<
phubuh>
binding ocaml to C is easy :-)
Kinners has quit [Read error: 110 (Connection timed out)]
brwill is now known as brwill_zzz
Kinners has joined #ocaml
systems has joined #ocaml
karryall has joined #ocaml
systems has quit [Connection timed out]
teratorn has quit [leguin.freenode.net irc.freenode.net]
polin8 has quit [leguin.freenode.net irc.freenode.net]
yella has quit [leguin.freenode.net irc.freenode.net]
smkl has quit [leguin.freenode.net irc.freenode.net]
mw has quit [leguin.freenode.net irc.freenode.net]
teratorn has joined #ocaml
yella has joined #ocaml
polin8 has joined #ocaml
smkl has joined #ocaml
mw has joined #ocaml
yella has quit [leguin.freenode.net irc.freenode.net]
polin8 has quit [leguin.freenode.net irc.freenode.net]
teratorn has quit [leguin.freenode.net irc.freenode.net]
smkl has quit [leguin.freenode.net irc.freenode.net]
mw has quit [leguin.freenode.net irc.freenode.net]
teratorn has joined #ocaml
yella has joined #ocaml
polin8 has joined #ocaml
smkl has joined #ocaml
mw has joined #ocaml
smkl has quit [leguin.freenode.net irc.freenode.net]
smkl has joined #ocaml
smkl has quit [leguin.freenode.net irc.freenode.net]
smkl has joined #ocaml
clam has joined #ocaml
karryall has quit ["."]
Kinners has left #ocaml []
bk__ has joined #ocaml
clam has quit ["no reason"]
systems has joined #ocaml
clam has joined #ocaml
lus|wazze has joined #ocaml
lus|wazze has quit [Client Quit]
lus|wazze has joined #ocaml
lus|wazze has quit ["Copyright is a temporary loan from the public domain, not property"]
lus|wazze has joined #ocaml
systems has quit [Read error: 60 (Operation timed out)]
bk__ has quit ["I'll be back"]
clam has quit ["no reason"]
lus|wazze has quit ["Copyright is a temporary loan from the public domain, not property"]
lus|wazze has joined #ocaml
bk__ has joined #ocaml
lus|wazze has quit ["Copyright is a temporary loan from the public domain, not property"]
lus|wazze has joined #ocaml
lus|wazze has quit ["Copyright is a temporary loan from the public domain, not property"]
lus|wazze has joined #ocaml
lus|wazze has quit ["Copyright is a temporary loan from the public domain, not property"]
lus|wazze has joined #ocaml
demitar_ has joined #ocaml
demitar_ is now known as Demitar
lus|wazze has quit ["Copyright is a temporary loan from the public domain, not property"]
bk__ has quit ["leaving"]
bk__ has joined #ocaml
bk___ has joined #ocaml
bk__ has quit ["I'll be back"]
brwill_zzz is now known as brwill
haydar has joined #ocaml
<
Riastradh>
Do you have a question or something?
<
Riastradh>
OK, then.
<
haydar>
does the sentence "god exists" type well ?
<
Riastradh>
Um...what does 'type well' mean?
<
haydar>
it doesn't segfault
<
haydar>
for instance...
<
haydar>
god : unit -> universe
<
haydar>
exists : universe -> thing -> bool
<
haydar>
methinks it doesn't type
<
Riastradh>
No, it doesn't, because 'god' takes an argument of type 'unit,' and you passed it an argument of type 'universe -> thing -> bool'.
<
haydar>
yes of course but it was a metaphysical, not a programming question :)
lus|wazze has joined #ocaml
lus|wazze has quit ["Copyright is a temporary loan from the public domain, not property"]
Riastrad1 has joined #ocaml
Riastradh has quit [Nick collision from services.]
Riastrad1 is now known as Riastradh
lus|wazze has joined #ocaml
buggs|afk has joined #ocaml
buggs has quit [Read error: 110 (Connection timed out)]
haydar has quit ["Sum does not converge."]
bk___ has quit ["leaving"]
bk_ has joined #ocaml
lus|wazze has quit ["Copyright is a temporary loan from the public domain, not property"]
Riastrad1 has joined #ocaml
lus|wazze has joined #ocaml
Riastradh has quit [Read error: 60 (Operation timed out)]
Riastrad1 is now known as Riastradh
clam has joined #ocaml
lus|wazze has quit ["Copyright is a temporary loan from the public domain, not property"]
bk_ has quit ["leaving"]
Tabu-la-Rasa has quit [Read error: 54 (Connection reset by peer)]