vpalle_ has quit [Read error: 110 (Connection timed out)]
mordaunt has joined #ocaml
piggybox has joined #ocaml
pango has quit [Remote closed the connection]
pango has joined #ocaml
darinm has joined #ocaml
piggybox_ has quit [Connection timed out]
kazzmir__ has joined #ocaml
kazzmir_ has quit [Read error: 104 (Connection reset by peer)]
kazzmir__ has quit [Read error: 104 (Connection reset by peer)]
kazzmir__ has joined #ocaml
kazzmir__ has quit [Read error: 104 (Connection reset by peer)]
kazzmir__ has joined #ocaml
ramza3 has joined #ocaml
thesoko has quit [Remote closed the connection]
|Catch22| has joined #ocaml
netx has joined #ocaml
\\ is now known as c
c is now known as \\
\\ has left #ocaml []
mrsolo has left #ocaml []
mrsolo has joined #ocaml
sergez has quit [Read error: 110 (Connection timed out)]
bluestorm_ has joined #ocaml
bluestorm_ has quit [Remote closed the connection]
darinm has quit []
netx has quit ["Leaving"]
netx has joined #ocaml
netx has quit [Client Quit]
netx has joined #ocaml
asmanur has joined #ocaml
Tetsuo has joined #ocaml
asmanur has quit [Remote closed the connection]
asmanur has joined #ocaml
bluestorm_ has joined #ocaml
smimou has joined #ocaml
ygrek has joined #ocaml
bzzbzz_ has joined #ocaml
bzzbzz has quit [Read error: 110 (Connection timed out)]
Yoric[DT] has joined #ocaml
l_a_m has joined #ocaml
bluestorm_ has quit [Remote closed the connection]
hkBst has joined #ocaml
<Yoric[DT]>
hi
seafood_ has joined #ocaml
ttamttam has joined #ocaml
seafood__ has joined #ocaml
seafood_ has quit [Connection timed out]
seafood__ has quit []
ita has joined #ocaml
vpalle_ has joined #ocaml
vpalle_ has quit ["Leaving"]
vpalle__ has quit [Read error: 110 (Connection timed out)]
bluestorm_ has joined #ocaml
ttamttam has quit ["Leaving."]
chahibi has joined #ocaml
chahibi has left #ocaml []
buluca has joined #ocaml
Torment has quit [Read error: 110 (Connection timed out)]
ikaros has joined #ocaml
pango has quit [Remote closed the connection]
ikaros has quit [Remote closed the connection]
pango has joined #ocaml
ikaros has joined #ocaml
ttamttam has joined #ocaml
ygrek has quit [Remote closed the connection]
ygrek has joined #ocaml
buluca has quit [Read error: 113 (No route to host)]
vorago is now known as bla
rwmjones has quit ["Closed connection"]
ita has quit [zelazny.freenode.net irc.freenode.net]
bzzbzz_ has quit [zelazny.freenode.net irc.freenode.net]
smimou has quit [zelazny.freenode.net irc.freenode.net]
netx has quit [zelazny.freenode.net irc.freenode.net]
filp has quit [zelazny.freenode.net irc.freenode.net]
zvrba has quit [zelazny.freenode.net irc.freenode.net]
unfo- has quit [zelazny.freenode.net irc.freenode.net]
jeremiah has quit [zelazny.freenode.net irc.freenode.net]
ita has joined #ocaml
bzzbzz_ has joined #ocaml
smimou has joined #ocaml
netx has joined #ocaml
filp has joined #ocaml
zvrba has joined #ocaml
unfo- has joined #ocaml
jeremiah has joined #ocaml
ita_ has joined #ocaml
ita_ has quit [Remote closed the connection]
ita_ has joined #ocaml
ita has quit [Nick collision from services.]
ita_ is now known as ita
Mr_Awesome has joined #ocaml
ttamttam has left #ocaml []
l_a_m has quit [Remote closed the connection]
bluestorm_ has quit [Read error: 104 (Connection reset by peer)]
asmanur has quit [Remote closed the connection]
bluestorm_ has joined #ocaml
ikaros has quit [Remote closed the connection]
ikaros has joined #ocaml
ygrek has quit [Remote closed the connection]
jlouis has joined #ocaml
gnuvince_ has joined #ocaml
<gnuvince_>
How do you create a set?
Jedai has joined #ocaml
<gnuvince_>
Salut Jedai ;)
<Smerdyakov>
gnuvince_, are you talking about the Set module of the standard library?
<gnuvince_>
Smerdyakov: yes.
<Smerdyakov>
gnuvince_, did you read the manual page?
<gnuvince_>
Smerdyakov: I don't understand what I'm reading.
<Smerdyakov>
gnuvince_, does this describe your confusion accurately: "I see a page with three module thingies, and none says anything about creating a set. ABORT."
<gnuvince_>
Yep, totally.
<Smerdyakov>
gnuvince_, do you understand what functors are in ML?
<gnuvince_>
No, that's a new word for me.
<Smerdyakov>
Have you read the tutorial in the manual?