kaustuv changed the topic of #ocaml to: Discussions about the OCaml programming language | http://caml.inria.fr/ | 3.11.1 out now! Get yours from http://caml.inria.fr/ocaml/release.html
julm has joined #ocaml
julm has quit ["leaving"]
sOpen has joined #ocaml
<sOpen> Can you make dynamic left-hand sides in OCaml pattern matches?
<sOpen> more than just 'where'
<kaustuv> sOpen: not sure what you mean, but a pattern match is compiled to a jump table which is static
<sOpen> kaustuv: ok... that's what i thought and that answers my question... thanks!
<Camarade_Tux> not sure either but if you want something for string, there is mikmatch which is a syntax extension
<sOpen> Camarade_Tux: ah... that is a cool extension! thanks
<Camarade_Tux> :)
<Camarade_Tux> btw, it's mikmatch for ocaml>=3.10 and micmatch for <3.10 (iirc)
<Camarade_Tux> bedtime now ^^
bluestorm has joined #ocaml
Amorphous has quit [Read error: 110 (Connection timed out)]
Amorphous has joined #ocaml
sOpen has left #ocaml []
bluestorm has quit ["Leaving"]
julm has joined #ocaml
verte has joined #ocaml
seafood has joined #ocaml
julm has quit ["leaving"]
willb has joined #ocaml
julm has joined #ocaml
BiDOrD has quit [Read error: 110 (Connection timed out)]
BiDOrD has joined #ocaml
authentic has joined #ocaml
Hadaka_ has joined #ocaml
Hadaka has quit [Read error: 104 (Connection reset by peer)]
sgnb` has quit [Read error: 104 (Connection reset by peer)]
sgnb` has joined #ocaml
Hadaka_ has quit [Read error: 60 (Operation timed out)]
Hadaka has joined #ocaml
Ori_B_ is now known as Ori_B
Hadaka has quit [Read error: 104 (Connection reset by peer)]
Hadaka has joined #ocaml
jeddhaberstro has quit [Client Quit]
seafood has quit []
smimou has joined #ocaml
sgnb` has quit [Remote closed the connection]
sgnb has joined #ocaml
julm has quit ["leaving"]
julm has joined #ocaml
filp has joined #ocaml
julm has quit ["leaving"]
julm has joined #ocaml
eevar2 has joined #ocaml
itewsh has joined #ocaml
Cromulent has joined #ocaml
Cromulent has quit []
julm has quit ["leaving"]
marteo has joined #ocaml
hkBst has joined #ocaml
itewsh has quit [Remote closed the connection]
sparta has joined #ocaml
sparta has quit ["Ex-Chat"]
authentic has quit [Read error: 60 (Operation timed out)]
Narrenschiff has joined #ocaml
Narrenschiff has quit [Remote closed the connection]
Narrenschiff has joined #ocaml
sramsay has joined #ocaml
buzz0r_ has joined #ocaml
Cromulent has joined #ocaml
Cromulent has quit []
authentic has joined #ocaml
authentic has quit [bartol.freenode.net irc.freenode.net]
schme has quit [bartol.freenode.net irc.freenode.net]
wysek has quit [bartol.freenode.net irc.freenode.net]
bohanlon has quit [bartol.freenode.net irc.freenode.net]
Camarade_Tux has quit [bartol.freenode.net irc.freenode.net]
willb has quit [bartol.freenode.net irc.freenode.net]
rwmjones-afk has quit [bartol.freenode.net irc.freenode.net]
poucet has quit [bartol.freenode.net irc.freenode.net]
lanaer has quit [bartol.freenode.net irc.freenode.net]
anders^^ has quit [bartol.freenode.net irc.freenode.net]
nimred has quit [bartol.freenode.net irc.freenode.net]
sramsay has quit [bartol.freenode.net irc.freenode.net]
Submarine has quit [bartol.freenode.net irc.freenode.net]
hkBst has quit [bartol.freenode.net irc.freenode.net]
whoknows has quit [bartol.freenode.net irc.freenode.net]
kaustuv has quit [bartol.freenode.net irc.freenode.net]
munga has quit [bartol.freenode.net irc.freenode.net]
sbok has quit [bartol.freenode.net irc.freenode.net]
Narrenschiff has quit [bartol.freenode.net irc.freenode.net]
Amorphous has quit [bartol.freenode.net irc.freenode.net]
bacam has quit [bartol.freenode.net irc.freenode.net]
animist has quit [bartol.freenode.net irc.freenode.net]
cmeme has quit [bartol.freenode.net irc.freenode.net]
deavid has quit [bartol.freenode.net irc.freenode.net]
holgr has quit [bartol.freenode.net irc.freenode.net]
svenl has quit [bartol.freenode.net irc.freenode.net]
bartiosze has quit [bartol.freenode.net irc.freenode.net]
mellum has quit [bartol.freenode.net irc.freenode.net]
mfp_ has quit [bartol.freenode.net irc.freenode.net]
easy4 has quit [bartol.freenode.net irc.freenode.net]
TaXules has quit [bartol.freenode.net irc.freenode.net]
aij_ has quit [bartol.freenode.net irc.freenode.net]
prigaux has quit [bartol.freenode.net irc.freenode.net]
ertai has quit [bartol.freenode.net irc.freenode.net]
Asmadeus has quit [bartol.freenode.net irc.freenode.net]
brendan has quit [bartol.freenode.net irc.freenode.net]
tarbo2 has quit [bartol.freenode.net irc.freenode.net]
mbishop has quit [bartol.freenode.net irc.freenode.net]
tsuyoshi has quit [bartol.freenode.net irc.freenode.net]
maskd has quit [bartol.freenode.net irc.freenode.net]
noj has quit [bartol.freenode.net irc.freenode.net]
qwr has quit [bartol.freenode.net irc.freenode.net]
caligula has quit [bartol.freenode.net irc.freenode.net]
Demitar has quit [bartol.freenode.net irc.freenode.net]
eevar2 has quit [bartol.freenode.net irc.freenode.net]
smimou has quit [bartol.freenode.net irc.freenode.net]
peddie has quit [bartol.freenode.net irc.freenode.net]
r0bby has quit [bartol.freenode.net irc.freenode.net]
tonyIII has quit [bartol.freenode.net irc.freenode.net]
Pepe_ has quit [bartol.freenode.net irc.freenode.net]
ozzloy has quit [bartol.freenode.net irc.freenode.net]
jonafan has quit [bartol.freenode.net irc.freenode.net]
erickt has quit [bartol.freenode.net irc.freenode.net]
gildor has quit [bartol.freenode.net irc.freenode.net]
fremo has quit [bartol.freenode.net irc.freenode.net]
jlouis has quit [bartol.freenode.net irc.freenode.net]
bluestorm has joined #ocaml
authentic has joined #ocaml
sramsay has joined #ocaml
Narrenschiff has joined #ocaml
hkBst has joined #ocaml
eevar2 has joined #ocaml
smimou has joined #ocaml
willb has joined #ocaml
Amorphous has joined #ocaml
mfp_ has joined #ocaml
peddie has joined #ocaml
easy4 has joined #ocaml
r0bby has joined #ocaml
noj has joined #ocaml
maskd has joined #ocaml
qwr has joined #ocaml
caligula has joined #ocaml
whoknows has joined #ocaml
bacam has joined #ocaml
rwmjones-afk has joined #ocaml
Submarine has joined #ocaml
animist has joined #ocaml
tonyIII has joined #ocaml
kaustuv has joined #ocaml
Pepe_ has joined #ocaml
TaXules has joined #ocaml
Demitar has joined #ocaml
schme has joined #ocaml
ozzloy has joined #ocaml
cmeme has joined #ocaml
bohanlon has joined #ocaml
Camarade_Tux has joined #ocaml
wysek has joined #ocaml
jonafan has joined #ocaml
deavid has joined #ocaml
holgr has joined #ocaml
brendan has joined #ocaml
munga has joined #ocaml
lanaer has joined #ocaml
poucet has joined #ocaml
nimred has joined #ocaml
anders^^ has joined #ocaml
erickt has joined #ocaml
svenl has joined #ocaml
tarbo2 has joined #ocaml
sbok has joined #ocaml
mbishop has joined #ocaml
tsuyoshi has joined #ocaml
gildor has joined #ocaml
aij_ has joined #ocaml
bartiosze has joined #ocaml
mellum has joined #ocaml
prigaux has joined #ocaml
Asmadeus has joined #ocaml
ertai has joined #ocaml
fremo has joined #ocaml
jlouis has joined #ocaml
poucet has quit [bartol.freenode.net irc.freenode.net]
nimred has quit [bartol.freenode.net irc.freenode.net]
anders^^ has quit [bartol.freenode.net irc.freenode.net]
willb has quit [bartol.freenode.net irc.freenode.net]
rwmjones-afk has quit [bartol.freenode.net irc.freenode.net]
lanaer has quit [bartol.freenode.net irc.freenode.net]
lanaer has joined #ocaml
willb has joined #ocaml
rwmjones-afk has joined #ocaml
poucet has joined #ocaml
anders^^ has joined #ocaml
nimred has joined #ocaml
Submarine has quit [bartol.freenode.net irc.freenode.net]
sramsay has quit [bartol.freenode.net irc.freenode.net]
Submarine has joined #ocaml
sramsay has joined #ocaml
maskd has quit [bartol.freenode.net irc.freenode.net]
qwr has quit [bartol.freenode.net irc.freenode.net]
noj has quit [bartol.freenode.net irc.freenode.net]
caligula has quit [bartol.freenode.net irc.freenode.net]
Demitar has quit [bartol.freenode.net irc.freenode.net]
sramsay has quit [bartol.freenode.net irc.freenode.net]
Submarine has quit [bartol.freenode.net irc.freenode.net]
anders^^ has quit [bartol.freenode.net irc.freenode.net]
willb has quit [bartol.freenode.net irc.freenode.net]
wysek has quit [bartol.freenode.net irc.freenode.net]
schme has quit [bartol.freenode.net irc.freenode.net]
bohanlon has quit [bartol.freenode.net irc.freenode.net]
authentic has quit [bartol.freenode.net irc.freenode.net]
Camarade_Tux has quit [bartol.freenode.net irc.freenode.net]
nimred has quit [bartol.freenode.net irc.freenode.net]
kaustuv has quit [bartol.freenode.net irc.freenode.net]
whoknows has quit [bartol.freenode.net irc.freenode.net]
bluestorm has quit [bartol.freenode.net irc.freenode.net]
sbok has quit [bartol.freenode.net irc.freenode.net]
munga has quit [bartol.freenode.net irc.freenode.net]
hkBst has quit [bartol.freenode.net irc.freenode.net]
bartiosze has quit [bartol.freenode.net irc.freenode.net]
cmeme has quit [bartol.freenode.net irc.freenode.net]
mellum has quit [bartol.freenode.net irc.freenode.net]
deavid has quit [bartol.freenode.net irc.freenode.net]
bacam has quit [bartol.freenode.net irc.freenode.net]
holgr has quit [bartol.freenode.net irc.freenode.net]
Narrenschiff has quit [bartol.freenode.net irc.freenode.net]
animist has quit [bartol.freenode.net irc.freenode.net]
svenl has quit [bartol.freenode.net irc.freenode.net]
Amorphous has quit [bartol.freenode.net irc.freenode.net]
rwmjones-afk has quit [bartol.freenode.net irc.freenode.net]
prigaux has quit [bartol.freenode.net irc.freenode.net]
TaXules has quit [bartol.freenode.net irc.freenode.net]
ertai has quit [bartol.freenode.net irc.freenode.net]
aij_ has quit [bartol.freenode.net irc.freenode.net]
easy4 has quit [bartol.freenode.net irc.freenode.net]
Asmadeus has quit [bartol.freenode.net irc.freenode.net]
mfp_ has quit [bartol.freenode.net irc.freenode.net]
brendan has quit [bartol.freenode.net irc.freenode.net]
tsuyoshi has quit [bartol.freenode.net irc.freenode.net]
mbishop has quit [bartol.freenode.net irc.freenode.net]
tarbo2 has quit [bartol.freenode.net irc.freenode.net]
gildor has quit [bartol.freenode.net irc.freenode.net]
tonyIII has quit [bartol.freenode.net irc.freenode.net]
eevar2 has quit [bartol.freenode.net irc.freenode.net]
fremo has quit [bartol.freenode.net irc.freenode.net]
jonafan has quit [bartol.freenode.net irc.freenode.net]
erickt has quit [bartol.freenode.net irc.freenode.net]
ozzloy has quit [bartol.freenode.net irc.freenode.net]
smimou has quit [bartol.freenode.net irc.freenode.net]
jlouis has quit [bartol.freenode.net irc.freenode.net]
peddie has quit [bartol.freenode.net irc.freenode.net]
Pepe_ has quit [bartol.freenode.net irc.freenode.net]
r0bby has quit [bartol.freenode.net irc.freenode.net]
sramsay has joined #ocaml
Submarine has joined #ocaml
nimred has joined #ocaml
anders^^ has joined #ocaml
rwmjones-afk has joined #ocaml
willb has joined #ocaml
bluestorm has joined #ocaml
authentic has joined #ocaml
Narrenschiff has joined #ocaml
hkBst has joined #ocaml
eevar2 has joined #ocaml
smimou has joined #ocaml
Amorphous has joined #ocaml
mfp_ has joined #ocaml
peddie has joined #ocaml
easy4 has joined #ocaml
r0bby has joined #ocaml
noj has joined #ocaml
maskd has joined #ocaml
qwr has joined #ocaml
caligula has joined #ocaml
whoknows has joined #ocaml
bacam has joined #ocaml
animist has joined #ocaml
tonyIII has joined #ocaml
kaustuv has joined #ocaml
Pepe_ has joined #ocaml
TaXules has joined #ocaml
Demitar has joined #ocaml
schme has joined #ocaml
ozzloy has joined #ocaml
cmeme has joined #ocaml
bohanlon has joined #ocaml
Camarade_Tux has joined #ocaml
wysek has joined #ocaml
jonafan has joined #ocaml
deavid has joined #ocaml
holgr has joined #ocaml
brendan has joined #ocaml
munga has joined #ocaml
erickt has joined #ocaml
svenl has joined #ocaml
tarbo2 has joined #ocaml
sbok has joined #ocaml
mbishop has joined #ocaml
tsuyoshi has joined #ocaml
gildor has joined #ocaml
aij_ has joined #ocaml
bartiosze has joined #ocaml
mellum has joined #ocaml
prigaux has joined #ocaml
Asmadeus has joined #ocaml
ertai has joined #ocaml
fremo has joined #ocaml
jlouis has joined #ocaml
Submarine has quit [Client Quit]
smimou has quit ["bli"]
maskd has quit [bartol.freenode.net irc.freenode.net]
qwr has quit [bartol.freenode.net irc.freenode.net]
noj has quit [bartol.freenode.net irc.freenode.net]
caligula has quit [bartol.freenode.net irc.freenode.net]
sgnb has quit [Read error: 60 (Operation timed out)]
caligula has joined #ocaml
qwr has joined #ocaml
maskd has joined #ocaml
noj has joined #ocaml
sgnb` has joined #ocaml
buzz0r_ has quit ["Ex-Chat"]
maskd has quit [bartol.freenode.net irc.freenode.net]
noj has quit [bartol.freenode.net irc.freenode.net]
qwr has quit [bartol.freenode.net irc.freenode.net]
caligula has quit [bartol.freenode.net irc.freenode.net]
caligula has joined #ocaml
qwr has joined #ocaml
maskd has joined #ocaml
noj has joined #ocaml
poucet has quit [bartol.freenode.net irc.freenode.net]
BiDOrD has quit [bartol.freenode.net irc.freenode.net]
verte has quit [bartol.freenode.net irc.freenode.net]
Ori_B has quit [bartol.freenode.net irc.freenode.net]
bernardofpc has quit [bartol.freenode.net irc.freenode.net]
maskd has quit [bartol.freenode.net irc.freenode.net]
noj has quit [bartol.freenode.net irc.freenode.net]
qwr has quit [bartol.freenode.net irc.freenode.net]
caligula has quit [bartol.freenode.net irc.freenode.net]
caligula has joined #ocaml
qwr has joined #ocaml
maskd has joined #ocaml
noj has joined #ocaml
poucet has joined #ocaml
BiDOrD has joined #ocaml
verte has joined #ocaml
Ori_B has joined #ocaml
bernardofpc has joined #ocaml
maskd has quit [bartol.freenode.net irc.freenode.net]
noj has quit [bartol.freenode.net irc.freenode.net]
qwr has quit [bartol.freenode.net irc.freenode.net]
caligula has quit [bartol.freenode.net irc.freenode.net]
caligula has joined #ocaml
qwr_ has joined #ocaml
_zack has joined #ocaml
julm_ has joined #ocaml
julm_ is now known as julm
maskd has joined #ocaml
_andre has joined #ocaml
bluestorm has quit ["Leaving"]
Demitar has quit ["Ex-Chat"]
marteo has quit [Read error: 145 (Connection timed out)]
_zack has quit [bartol.freenode.net irc.freenode.net]
sramsay has quit [bartol.freenode.net irc.freenode.net]
wysek has quit [bartol.freenode.net irc.freenode.net]
anders^^ has quit [bartol.freenode.net irc.freenode.net]
schme has quit [bartol.freenode.net irc.freenode.net]
willb has quit [bartol.freenode.net irc.freenode.net]
bohanlon has quit [bartol.freenode.net irc.freenode.net]
authentic has quit [bartol.freenode.net irc.freenode.net]
Camarade_Tux has quit [bartol.freenode.net irc.freenode.net]
kaustuv has quit [bartol.freenode.net irc.freenode.net]
whoknows has quit [bartol.freenode.net irc.freenode.net]
sbok has quit [bartol.freenode.net irc.freenode.net]
munga has quit [bartol.freenode.net irc.freenode.net]
nimred has quit [bartol.freenode.net irc.freenode.net]
hkBst has quit [bartol.freenode.net irc.freenode.net]
bartiosze has quit [bartol.freenode.net irc.freenode.net]
cmeme has quit [bartol.freenode.net irc.freenode.net]
mellum has quit [bartol.freenode.net irc.freenode.net]
deavid has quit [bartol.freenode.net irc.freenode.net]
bacam has quit [bartol.freenode.net irc.freenode.net]
holgr has quit [bartol.freenode.net irc.freenode.net]
Narrenschiff has quit [bartol.freenode.net irc.freenode.net]
animist has quit [bartol.freenode.net irc.freenode.net]
svenl has quit [bartol.freenode.net irc.freenode.net]
Amorphous has quit [bartol.freenode.net irc.freenode.net]
prigaux has quit [bartol.freenode.net irc.freenode.net]
TaXules has quit [bartol.freenode.net irc.freenode.net]
ertai has quit [bartol.freenode.net irc.freenode.net]
aij_ has quit [bartol.freenode.net irc.freenode.net]
easy4 has quit [bartol.freenode.net irc.freenode.net]
rwmjones-afk has quit [bartol.freenode.net irc.freenode.net]
Asmadeus has quit [bartol.freenode.net irc.freenode.net]
mfp_ has quit [bartol.freenode.net irc.freenode.net]
brendan has quit [bartol.freenode.net irc.freenode.net]
sgnb` has quit [bartol.freenode.net irc.freenode.net]
tsuyoshi has quit [bartol.freenode.net irc.freenode.net]
mbishop has quit [bartol.freenode.net irc.freenode.net]
tarbo2 has quit [bartol.freenode.net irc.freenode.net]
_andre has quit [bartol.freenode.net irc.freenode.net]
gildor has quit [bartol.freenode.net irc.freenode.net]
tonyIII has quit [bartol.freenode.net irc.freenode.net]
eevar2 has quit [bartol.freenode.net irc.freenode.net]
fremo has quit [bartol.freenode.net irc.freenode.net]
jonafan has quit [bartol.freenode.net irc.freenode.net]
erickt has quit [bartol.freenode.net irc.freenode.net]
ozzloy has quit [bartol.freenode.net irc.freenode.net]
jlouis has quit [bartol.freenode.net irc.freenode.net]
peddie has quit [bartol.freenode.net irc.freenode.net]
Pepe_ has quit [bartol.freenode.net irc.freenode.net]
r0bby has quit [bartol.freenode.net irc.freenode.net]
M| has quit [bartol.freenode.net irc.freenode.net]
flx_ has quit [bartol.freenode.net irc.freenode.net]
xevz has quit [bartol.freenode.net irc.freenode.net]
caligula has quit [bartol.freenode.net irc.freenode.net]
mishok13 has quit [bartol.freenode.net irc.freenode.net]
jimmyb2187 has quit [bartol.freenode.net irc.freenode.net]
__marius__ has quit [bartol.freenode.net irc.freenode.net]
maskd has quit [bartol.freenode.net irc.freenode.net]
bernardofpc has quit [bartol.freenode.net irc.freenode.net]
poucet has quit [bartol.freenode.net irc.freenode.net]
BiDOrD has quit [bartol.freenode.net irc.freenode.net]
Ori_B has quit [bartol.freenode.net irc.freenode.net]
verte has quit [bartol.freenode.net irc.freenode.net]
tomaw has quit [bartol.freenode.net irc.freenode.net]
julm has quit [bartol.freenode.net irc.freenode.net]
tab has quit [bartol.freenode.net irc.freenode.net]
gim has quit [bartol.freenode.net irc.freenode.net]
mehdid has quit [bartol.freenode.net irc.freenode.net]
hcarty has quit [bartol.freenode.net irc.freenode.net]
mattam has quit [bartol.freenode.net irc.freenode.net]
mal`` has quit [bartol.freenode.net irc.freenode.net]
rbancroft has quit [bartol.freenode.net irc.freenode.net]
petchema has quit [bartol.freenode.net irc.freenode.net]
raboof has quit [bartol.freenode.net irc.freenode.net]
Hadaka has quit [bartol.freenode.net irc.freenode.net]
Modius has quit [bartol.freenode.net irc.freenode.net]
Olf has quit [bartol.freenode.net irc.freenode.net]
patronus has quit [bartol.freenode.net irc.freenode.net]
qwr_ has quit [bartol.freenode.net irc.freenode.net]
ppsmimou has quit [bartol.freenode.net irc.freenode.net]
caligula has joined #ocaml
mishok13 has joined #ocaml
__marius__ has joined #ocaml
Hadaka has joined #ocaml
Modius has joined #ocaml
Olf has joined #ocaml
patronus has joined #ocaml
M| has joined #ocaml
flx_ has joined #ocaml
xevz has joined #ocaml
th5 has joined #ocaml
ppsmimou has joined #ocaml
qwr_ has joined #ocaml
mehdid has joined #ocaml
petchema has joined #ocaml
hcarty has joined #ocaml
mal`` has joined #ocaml
mattam has joined #ocaml
rbancroft has joined #ocaml
gim has joined #ocaml
raboof has joined #ocaml
tab has joined #ocaml
julm has joined #ocaml
jlouis has joined #ocaml
fremo has joined #ocaml
ertai has joined #ocaml
Asmadeus has joined #ocaml
prigaux has joined #ocaml
mellum has joined #ocaml
bartiosze has joined #ocaml
aij_ has joined #ocaml
gildor has joined #ocaml
tsuyoshi has joined #ocaml
mbishop has joined #ocaml
sbok has joined #ocaml
tarbo2 has joined #ocaml
svenl has joined #ocaml
erickt has joined #ocaml
munga has joined #ocaml
brendan has joined #ocaml
holgr has joined #ocaml
deavid has joined #ocaml
jonafan has joined #ocaml
wysek has joined #ocaml
Camarade_Tux has joined #ocaml
bohanlon has joined #ocaml
cmeme has joined #ocaml
ozzloy has joined #ocaml
schme has joined #ocaml
TaXules has joined #ocaml
Pepe_ has joined #ocaml
kaustuv has joined #ocaml
tonyIII has joined #ocaml
animist has joined #ocaml
bacam has joined #ocaml
whoknows has joined #ocaml
r0bby has joined #ocaml
easy4 has joined #ocaml
peddie has joined #ocaml
mfp_ has joined #ocaml
Amorphous has joined #ocaml
eevar2 has joined #ocaml
hkBst has joined #ocaml
Narrenschiff has joined #ocaml
authentic has joined #ocaml
willb has joined #ocaml
rwmjones-afk has joined #ocaml
anders^^ has joined #ocaml
nimred has joined #ocaml
sramsay has joined #ocaml
sgnb` has joined #ocaml
_zack has joined #ocaml
_andre has joined #ocaml
marteo has joined #ocaml
maskd has joined #ocaml
bernardofpc has joined #ocaml
Ori_B has joined #ocaml
verte has joined #ocaml
BiDOrD has joined #ocaml
poucet has joined #ocaml
tomaw has joined #ocaml
<th5> Does anyone know what the cost of inserting an element at the end of a stream is?
jimmyb2187 has joined #ocaml
deavid has quit [SendQ exceeded]
deavid has joined #ocaml
filp has quit [Connection timed out]
julm has quit [Read error: 104 (Connection reset by peer)]
julm has joined #ocaml
whoknows has quit [Read error: 104 (Connection reset by peer)]
julm_ has joined #ocaml
Narrenschiff_ has joined #ocaml
julm has quit [Read error: 110 (Connection timed out)]
eevar2 has quit ["This computer has gone to sleep"]
amuck_ has joined #ocaml
_zack has quit ["Leaving."]
Narrenschiff has quit [Read error: 110 (Connection timed out)]
Elive_user7_fr has joined #ocaml
marteo has quit [Read error: 110 (Connection timed out)]
rwmjones has joined #ocaml
filp has joined #ocaml
thelema has joined #ocaml
bluestorm has joined #ocaml
Elive_user7_fr is now known as marteo
_zack has joined #ocaml
<thelema> java
<thelema> grr, need to set mouse focus
<thelema> hi all.
willb has quit [Read error: 110 (Connection timed out)]
<Camarade_Tux> hi thelema :)
<thelema> I've just got my computer set up at MSU
smimou has joined #ocaml
<thelema> what've I missed in my offline time?
<Camarade_Tux> the channel has been pretty dead for the past 10-14 days
<Camarade_Tux> and /me taking a plane soon
<thelema> enjoy your trip
<Camarade_Tux> thanks :)
th5 has quit []
lutter has joined #ocaml
rwmjones has quit ["Leaving"]
julm has joined #ocaml
Narrenschiff_ has quit [Read error: 110 (Connection timed out)]
Demitar has joined #ocaml
filp has quit ["Bye"]
smimou has quit [Remote closed the connection]
julm has quit [Read error: 104 (Connection reset by peer)]
julm has joined #ocaml
smimou has joined #ocaml
julm_ has quit [Read error: 110 (Connection timed out)]
julm_ has joined #ocaml
julm has quit [Read error: 104 (Connection reset by peer)]
palomer has joined #ocaml
<palomer> :O
_zack has quit ["Leaving."]
<palomer> who wants to try a funky programming language?
<palomer> I'm about to release it to the wild and I'd like a tiny bit of feedback before
<thelema> palomer: sure, if there's a linux version
<palomer> of course!
* thelema installs dependencies
<thelema> I see the crazy language.
* thelema would prefer the basics of a text editor with some extensions
<thelema> not putting text into boxes
<palomer> you have a point
<thelema> things popping up as I type
<palomer> but this language lets you have however-fix function names
<thelema> more like incremental parsing
* thelema hopes oset doesn't have lots of dependencies
<palomer> erm, it does
<palomer> well, sdl
* thelema hopes those are already in ubuntu
<thelema> brb
<palomer> it is
<thelema> yay aptitude
willb has joined #ocaml
smimou has quit ["bli"]
verte has quit ["~~~ Crash in JIT!"]
<palomer> what's your version of ocaml?
<thelema> 3.10.2
bluestorm has quit ["Leaving"]
smimou has joined #ocaml
julm has joined #ocaml
<palomer> hey julm
naufraghi has joined #ocaml
julm_ has quit [Read error: 110 (Connection timed out)]
mishok13 has quit ["Stopping IRC chat... [OK]"]
<palomer> well...
<palomer> I'm off
<palomer> to eat
<palomer> be back tomorrow
<thelema> palomer: ok, is running. I'll try it and get back to you
<palomer> try the tutorial
<palomer> if you have any additions/comments/questions, please let me know!
<thelema> ok
<palomer> cyas
palomer has quit ["Leaving"]
Narrenschiff has joined #ocaml
thelema has quit ["brb"]
julm_ has joined #ocaml
julm has quit [Read error: 54 (Connection reset by peer)]
julm_ is now known as julm
ulfdoz has joined #ocaml
Narrenschiff_ has joined #ocaml
naufraghi has left #ocaml []
naufraghi has joined #ocaml
naufraghi has left #ocaml []
Cromulent has joined #ocaml
Cromulent has quit [Remote closed the connection]
Narrenschiff has quit [Read error: 110 (Connection timed out)]
slash_ has joined #ocaml
jeddhaberstro has joined #ocaml
peddie_ has joined #ocaml
peddie has quit [Read error: 110 (Connection timed out)]
_andre has quit ["*puff*"]
hcarty has quit [Read error: 104 (Connection reset by peer)]
marteo has quit [Read error: 145 (Connection timed out)]
jimmyb2187 has left #ocaml []
marteo has joined #ocaml
ulfdoz has quit [Read error: 110 (Connection timed out)]
Narrenschiff_ has quit [Connection reset by peer]
amuck__ has joined #ocaml
amuck__ has quit [Remote closed the connection]
willb has quit [Read error: 110 (Connection timed out)]
amuck_ has quit [Read error: 110 (Connection timed out)]
sramsay has quit ["Leaving"]
kaustuv has quit ["ERC Version 5.3 (IRC client for Emacs)"]
kaustuv has joined #ocaml
psnively has joined #ocaml
psnively has quit [Remote closed the connection]
psnively has joined #ocaml
psnively has left #ocaml []
seafood has joined #ocaml
seafood_ has joined #ocaml
seafood has quit [Connection timed out]
psnively has joined #ocaml
seafood_ has quit []
seafood has joined #ocaml
marteo has quit ["Debian GNU/Hurd is Good."]