Kinners has quit [Read error: 110 (Connection timed out)]
reltuk has joined #ocaml
gim has quit ["zZz"]
Nutssh has joined #ocaml
housetier has quit ["#breaks @ irc.highteq.de"]
housetier has joined #ocaml
wazze has joined #ocaml
Kinners has joined #ocaml
Kinners has left #ocaml []
Nutssh has quit ["Client exiting"]
Riastradh is now known as _Riastradh
_Riastradh is now known as Riastradh
Nutssh has joined #ocaml
Nutssh has quit [Client Quit]
Nutssh has joined #ocaml
The-Fixer has quit [calvino.freenode.net irc.freenode.net]
cjohnson has quit [calvino.freenode.net irc.freenode.net]
yella has quit [calvino.freenode.net irc.freenode.net]
Nomme has quit [calvino.freenode.net irc.freenode.net]
themus has quit [calvino.freenode.net irc.freenode.net]
mellum has quit [calvino.freenode.net irc.freenode.net]
ejt has quit [calvino.freenode.net irc.freenode.net]
async has quit [calvino.freenode.net irc.freenode.net]
reltuk has quit [calvino.freenode.net irc.freenode.net]
cmeme has quit [calvino.freenode.net irc.freenode.net]
mattam has quit [calvino.freenode.net irc.freenode.net]
teratorn has quit [calvino.freenode.net irc.freenode.net]
Smerdyakov has quit [calvino.freenode.net irc.freenode.net]
srv has quit [calvino.freenode.net irc.freenode.net]
pattern has quit [calvino.freenode.net irc.freenode.net]
smkl has quit [calvino.freenode.net irc.freenode.net]
rox has quit [calvino.freenode.net irc.freenode.net]
mw_ has quit [calvino.freenode.net irc.freenode.net]
Etaoin has quit [calvino.freenode.net irc.freenode.net]
Maddas has quit [calvino.freenode.net irc.freenode.net]
clog_ has joined #ocaml
pattern has joined #ocaml
themus has joined #ocaml
mattam has quit [zelazny.freenode.net irc.freenode.net]
Defcon7 has quit [zelazny.freenode.net irc.freenode.net]
Riastradh has quit [zelazny.freenode.net irc.freenode.net]
Hadaka has quit [zelazny.freenode.net irc.freenode.net]
det has quit [zelazny.freenode.net irc.freenode.net]
Nutssh has quit [zelazny.freenode.net irc.freenode.net]
lam has quit [zelazny.freenode.net irc.freenode.net]
Demitar has quit [zelazny.freenode.net irc.freenode.net]
Swynndla has quit [zelazny.freenode.net irc.freenode.net]
clog has quit [zelazny.freenode.net irc.freenode.net]
cleverdra has quit [zelazny.freenode.net irc.freenode.net]
housetier has quit [zelazny.freenode.net irc.freenode.net]
wazze has quit [zelazny.freenode.net irc.freenode.net]
mw has quit [zelazny.freenode.net irc.freenode.net]
Banana has quit [zelazny.freenode.net irc.freenode.net]
wax has quit [zelazny.freenode.net irc.freenode.net]
gl has quit [zelazny.freenode.net irc.freenode.net]
skylan has quit [zelazny.freenode.net irc.freenode.net]
clog_ is now known as clog
mattam has joined #ocaml
Riastrad1 has joined #ocaml
Smerdyakov has joined #ocaml
cjohnson has joined #ocaml
axolotl has joined #ocaml
teratorn has joined #ocaml
The-Fixer has joined #ocaml
ejt has joined #ocaml
reltuk has joined #ocaml
async has joined #ocaml
Hadaka has joined #ocaml
mw has joined #ocaml
yella has joined #ocaml
housetier has joined #ocaml
Swynndla has joined #ocaml
srv has joined #ocaml
gl_ has joined #ocaml
lam has joined #ocaml
Etaoin has joined #ocaml
smkl has joined #ocaml
rox has joined #ocaml
Defcon7 has joined #ocaml
Maddas has joined #ocaml
mellum has joined #ocaml
Nutssh has joined #ocaml
Demitar has joined #ocaml
Nomme has joined #ocaml
skylan has joined #ocaml
cleverdr1 is now known as cleverdra
axolotl has quit [zelazny.freenode.net irc.freenode.net]
cjohnson has quit [zelazny.freenode.net irc.freenode.net]
Smerdyakov has quit [zelazny.freenode.net irc.freenode.net]
ejt has quit [zelazny.freenode.net irc.freenode.net]
teratorn has quit [zelazny.freenode.net irc.freenode.net]
mattam has quit [zelazny.freenode.net irc.freenode.net]
The-Fixer has quit [zelazny.freenode.net irc.freenode.net]
Riastrad1 has quit [zelazny.freenode.net irc.freenode.net]
ejt has joined #ocaml
The-Fixer has joined #ocaml
teratorn has joined #ocaml
axolotl has joined #ocaml
cjohnson has joined #ocaml
Smerdyakov has joined #ocaml
Riastrad1 has joined #ocaml
mattam has joined #ocaml
Smerdyakov has quit [zelazny.freenode.net irc.freenode.net]
mattam has quit [zelazny.freenode.net irc.freenode.net]
axolotl has quit [zelazny.freenode.net irc.freenode.net]
ejt has quit [zelazny.freenode.net irc.freenode.net]
cjohnson has quit [zelazny.freenode.net irc.freenode.net]
Riastrad1 has quit [zelazny.freenode.net irc.freenode.net]
teratorn has quit [zelazny.freenode.net irc.freenode.net]
The-Fixer has quit [zelazny.freenode.net irc.freenode.net]
smkl has quit [zelazny.freenode.net irc.freenode.net]
rox has quit [zelazny.freenode.net irc.freenode.net]
Maddas has quit [zelazny.freenode.net irc.freenode.net]
reltuk has quit [zelazny.freenode.net irc.freenode.net]
yella has quit [zelazny.freenode.net irc.freenode.net]
async has quit [zelazny.freenode.net irc.freenode.net]
Nomme has quit [zelazny.freenode.net irc.freenode.net]
gl_ has quit [zelazny.freenode.net irc.freenode.net]
housetier has quit [zelazny.freenode.net irc.freenode.net]
Nutssh has quit [zelazny.freenode.net irc.freenode.net]
srv has quit [zelazny.freenode.net irc.freenode.net]
mellum has quit [zelazny.freenode.net irc.freenode.net]
Swynndla has quit [zelazny.freenode.net irc.freenode.net]
Demitar has quit [zelazny.freenode.net irc.freenode.net]
Hadaka has quit [zelazny.freenode.net irc.freenode.net]
skylan has quit [zelazny.freenode.net irc.freenode.net]
Etaoin has quit [zelazny.freenode.net irc.freenode.net]
mw has quit [zelazny.freenode.net irc.freenode.net]
lam has quit [zelazny.freenode.net irc.freenode.net]
Defcon7 has quit [zelazny.freenode.net irc.freenode.net]
mattam has joined #ocaml
Riastrad1 has joined #ocaml
Smerdyakov has joined #ocaml
cjohnson has joined #ocaml
axolotl has joined #ocaml
teratorn has joined #ocaml
The-Fixer has joined #ocaml
ejt has joined #ocaml
smkl has joined #ocaml
rox has joined #ocaml
Defcon7 has joined #ocaml
Maddas has joined #ocaml
mellum has joined #ocaml
Nutssh has joined #ocaml
Demitar has joined #ocaml
Nomme has joined #ocaml
skylan has joined #ocaml
Etaoin has joined #ocaml
lam has joined #ocaml
gl_ has joined #ocaml
srv has joined #ocaml
Swynndla has joined #ocaml
housetier has joined #ocaml
yella has joined #ocaml
mw has joined #ocaml
Hadaka has joined #ocaml
async has joined #ocaml
reltuk has joined #ocaml
housetier has quit [Client Quit]
cmeme has joined #ocaml
Nutssh has quit [Read error: 60 (Operation timed out)]
__DL__ has joined #ocaml
det has joined #ocaml
__DL__ has quit ["Bye Bye"]
noss has joined #ocaml
<
noss>
caml.inria.fr is down.
monkeyiq has joined #ocaml
The-Fixer has quit ["Goodbye"]
The-Fixer has joined #ocaml
Nutssh has joined #ocaml
Swynndla has quit ["Leaving"]
housetier has joined #ocaml
Nutssh has quit ["Client exiting"]
gim has joined #ocaml
Banana_ is now known as Banana
gim_ has joined #ocaml
<
Banana>
I don't speak Korean.
<
cleverdra>
No need to talk so much about your personal problems, really.
<
Banana>
I'd like to know the difference between nml and ocaml.
<
cleverdra>
SML, you mean?
<
Banana>
I ve you seen the url pattern gave.
<
Banana>
it points to nml homepage a dialect of ocaml. but all doc is in korean.
<
Banana>
there are few differences in the syntax but it seems pretty much the same. they say they have their own typechecker.
<
cleverdra>
yes, very strange.
<
gim_>
well, is there something new in nml ? (I don't see anything new ...)
<
pattern>
but it "drives the static analysis technologies to the limit"!
<
Banana>
yeap there is. keyword "module" becomes "strucutre"
<
gim_>
and there'a a "local" keyword !
<
mellum>
I wouldn't want to use it unless it also has a "auto" keyword.
<
mattam>
it's already Struct(ure) in SML
<
Banana>
there are commas instead of semi-colon in list and records.
<
mattam>
basically it's SML, even the error messages are the same.
<
Banana>
you can use unicode in identifiers.
<
cleverdra>
sounds like an improvement, but not something worth a new name.
<
Banana>
it's pretty old though. last stable release si 2002/3/18.
wazze has joined #ocaml
gl_ is now known as gl
gim has quit [Read error: 60 (Operation timed out)]
tomasso has joined #ocaml
cmeme has quit [Success]
cjohnson has quit ["Drawn beyond the lines of reason"]
gim has joined #ocaml
EP has joined #ocaml
EP has left #ocaml []
mattam_ has joined #ocaml
mattam has quit [Client Quit]
mattam_ is now known as mattam
Riastrad1 is now known as Riastradh
EP has joined #ocaml
EP has left #ocaml []
whiskas has joined #ocaml
cjohnson has joined #ocaml
owll has joined #ocaml
owll has left #ocaml []
malc has joined #ocaml
whiskas has quit ["Leaving"]
cmeme has joined #ocaml
wazze has quit ["Learning about how the end letters on French words are just becoming more and more silent, I conclude that one day the French]
malc has quit ["no reason"]
gim|570 has joined #ocaml
owell has joined #ocaml
noss has quit ["hej då"]
reltuk has quit ["leaving"]
gim has quit [Connection timed out]
gim has joined #ocaml
gim|570 has quit [Read error: 60 (Operation timed out)]
Nutssh has joined #ocaml
Nomme has quit ["Leaving"]
Nutssh has quit ["Client exiting"]
cjohnson has quit [Read error: 54 (Connection reset by peer)]
The-Fixer has quit ["Goodbye"]
cjohnson has joined #ocaml
housetier has quit [Read error: 110 (Connection timed out)]
mimosa has joined #ocaml
Maddas has quit [Read error: 110 (Connection timed out)]
The-Fixer has joined #ocaml
mimosa has quit ["J'ai fini"]