lus|wazze has quit ["Syntactic sugar causes cancer of the semicolon"]
jao has quit ["leaving"]
Smerdyakov has quit ["sleep"]
rhil is now known as rhil|zzz
Demitar has joined #ocaml
Demitar has quit [Client Quit]
lus|wazze has joined #ocaml
docelic|sleepo is now known as docelic
lus|wazze has quit ["Syntactic sugar causes cancer of the semicolon"]
cDlm_ has joined #ocaml
karryall has joined #ocaml
cDlm has quit [Read error: 110 (Connection timed out)]
<
reltuk>
oh yeah baby...my type unifier rocks
<
mellum>
do the chicks dig it?
lus|wazze has joined #ocaml
<
reltuk>
I have to make the type inference system now
systems has joined #ocaml
cDlm_ is now known as cDlm
systems has quit ["Client Exiting"]
lus|wazze has quit ["Syntactic sugar causes cancer of the semicolon"]
lus|wazze has joined #ocaml
Demitar has joined #ocaml
karryall has quit [leguin.freenode.net irc.freenode.net]
Demitar has quit [Read error: 113 (No route to host)]
smklsmkl is now known as smkl
rhil|zzz is now known as rhil
d-bug has joined #ocaml
d-bug has left #ocaml []
rhil is now known as rhil|sc
<
mellum>
Is there any package or something to set Ocaml source nicely in LaTeX?
<
Riastradh>
Emacs's HTMLizer?
<
Riastradh>
Er, DUH!
<
Riastradh>
HTML /= LaTeX...
<
Riastradh>
Well, maybe you can hack it to produce LaTeX instead of HTML.
<
mellum>
nah, I'll rather try to hack it up by hand
axolotl has joined #ocaml
wax has quit [Read error: 104 (Connection reset by peer)]
<
cDlm>
mellum: the latex package listings
<
mellum>
cDlm: huh?
<
cDlm>
it does the same as a verbatim environment, but the source is prettyfied
<
mellum>
cDlm: i see... does it understand ocaml?
<
cDlm>
not sure, but its quite easy to add syntax definitions
<
mellum>
Hmm, ain't installed here
mrvn has joined #ocaml
mrvn_ has quit [Read error: 110 (Connection timed out)]
<
teratorn>
hmm, is there a way to test if a certain value is a key in a given Hashtbl, w/o trying to access it and catching the exception?
<
teratorn>
oh nm, Hashtbl.mem
<
teratorn>
wonder why i didn't see that :/
Smerdyakov has joined #ocaml
rhil|sc is now known as rhil
docelic has quit [Read error: 113 (No route to host)]
karryall has joined #ocaml
systems has joined #ocaml
systems has quit [Client Quit]
Kinners has joined #ocaml
Kinners has quit [leguin.freenode.net irc.freenode.net]
cDlm has quit [leguin.freenode.net irc.freenode.net]
pattern__ has quit [leguin.freenode.net irc.freenode.net]
mattam has quit [leguin.freenode.net irc.freenode.net]
jtra has quit [leguin.freenode.net irc.freenode.net]
mellum has quit [leguin.freenode.net irc.freenode.net]
lam has quit [leguin.freenode.net irc.freenode.net]
Kinners has joined #ocaml
cDlm has joined #ocaml
pattern__ has joined #ocaml
mattam has joined #ocaml
jtra has joined #ocaml
mellum has joined #ocaml
lam has joined #ocaml
TachYon has joined #ocaml
Smerdyakov has quit [leguin.freenode.net irc.freenode.net]
Smerdyakov has joined #ocaml
Smerdyakov has quit [leguin.freenode.net irc.freenode.net]
CybeRDukE has joined #ocaml
CybeRDukE has quit [Client Quit]
TachYon has quit [Read error: 113 (No route to host)]
Smerdyakov has joined #ocaml
docelic has joined #ocaml
<
teratorn>
oh till 5?
<
Riastradh>
'Til the end of the ICFP contest 2003.
<
mrvn>
did anyone send something in?
<
Riastradh>
The #scheme team is still getting all the tracks.
lus|wazze has quit ["[21:57:38] <{specter}> benutze lustiges konfetti auf schwer bewaffneter clown"]