Vassia has joined #ocaml
Vassia has quit [Ping timeout: 276 seconds]
jakedouglas has quit [Quit: Leaving.]
jakedouglas has joined #ocaml
philtor has quit [Ping timeout: 260 seconds]
xcthulhu has joined #ocaml
<
xcthulhu>
Well... I love ocaml
<
xcthulhu>
and if it were possible to do all of my math homework in hol_light I totally would
<
xcthulhu>
that is all
ssbr has quit [Ping timeout: 245 seconds]
elehack has quit [Quit: not a typewriter]
coucou747 has joined #ocaml
coucou747 has quit [Remote host closed the connection]
philtor has joined #ocaml
jonafan_ has joined #ocaml
sdschulz` has joined #ocaml
jakedouglas has quit [*.net *.split]
sdschulze has quit [*.net *.split]
jonafan has quit [*.net *.split]
joewilliams has quit [*.net *.split]
caligula__ has quit [*.net *.split]
krankkatze has quit [*.net *.split]
fabjan has quit [*.net *.split]
haelix has quit [*.net *.split]
flux has quit [*.net *.split]
caligula__ has joined #ocaml
flux has joined #ocaml
joewilliams has joined #ocaml
haelix has joined #ocaml
krankkatze has joined #ocaml
fabjan has joined #ocaml
jakedouglas has joined #ocaml
ssbr has joined #ocaml
ssbr has quit [Ping timeout: 252 seconds]
krankkatze has quit [Ping timeout: 240 seconds]
xcthulhu has quit [Quit: Ex-Chat]
philtor has quit [Ping timeout: 260 seconds]
oc13 has joined #ocaml
Amorphous has quit [Ping timeout: 260 seconds]
ssbr has joined #ocaml
Associat0r has quit [Read error: Connection reset by peer]
Amorphous has joined #ocaml
Snark has joined #ocaml
Associat0r has joined #ocaml
ssbr has quit [Read error: Connection reset by peer]
ssbr has joined #ocaml
jakedouglas has quit [Quit: Leaving.]
Associat0r has quit [Quit: Associat0r]
ssbr has quit [Read error: Connection reset by peer]
Anarchos has joined #ocaml
joewilliams is now known as joewilliams_away
Anarchos has quit [Quit: Vision[0.9.7-H-090423]: i've been blurred!]
xmarteo has joined #ocaml
ygrek has joined #ocaml
chee has joined #ocaml
ikaros has joined #ocaml
coucou747 has joined #ocaml
ikaros has quit [Quit: Leave the magic to Houdini]
chee has quit [Ping timeout: 245 seconds]
chee has joined #ocaml
Snark has quit [Quit: Ex-Chat]
chee has quit [Ping timeout: 245 seconds]
chee has joined #ocaml
Vassia has joined #ocaml
Vassia has quit [Ping timeout: 246 seconds]
sdschulz` has quit [Read error: Operation timed out]
Vassia has joined #ocaml
Vassia has quit [Ping timeout: 240 seconds]
pikachuyann has joined #ocaml
Snark_ has joined #ocaml
Snark_ has left #ocaml []
Snark has joined #ocaml
komar_ has joined #ocaml
komar_ has quit [Client Quit]
Associat0r has joined #ocaml
<
Snark>
<- finally got nouveau up and running on his old box...
<
Snark>
(unfortunately, frogatto is still unplayable for the kids :-/ )
<
Snark>
oops... wrong channel
elehack has joined #ocaml
sdschulze has joined #ocaml
Associat0r has quit [Quit: Associat0r]
chee has quit [Read error: Connection reset by peer]
chee has joined #ocaml
fraggle_ has quit [Remote host closed the connection]
fraggle_ has joined #ocaml
Vassia has joined #ocaml
ttamttam has joined #ocaml
Vassia has quit [Ping timeout: 260 seconds]
ccasin has joined #ocaml
fraggle_ has quit [Quit: -ENOBRAIN]
bzzbzz has quit [Quit: leaving]
ssbr has joined #ocaml
joewilliams_away is now known as joewilliams
Anarchos has joined #ocaml
chee has quit [Ping timeout: 245 seconds]
fraggle_ has joined #ocaml
Associat0r has joined #ocaml
boscop_ has joined #ocaml
Vassia has joined #ocaml
boscop has quit [Ping timeout: 264 seconds]
|marius| has joined #ocaml
Vassia has quit [Ping timeout: 245 seconds]
jakedouglas has joined #ocaml
ygrek has quit [Ping timeout: 245 seconds]
sdschulze has quit [Quit: ERC Version 5.3 (IRC client for Emacs)]
joewilliams is now known as joewilliams_away
ygrek has joined #ocaml
xcthulhu has joined #ocaml
boscop_ has left #ocaml []
boscop has joined #ocaml
boscop has left #ocaml []
boscop has joined #ocaml
philtor has joined #ocaml
chee has joined #ocaml
ssbr_ has joined #ocaml
ssbr has quit [Ping timeout: 252 seconds]
philtor has quit [Ping timeout: 240 seconds]
chee is now known as Frots
Frots has quit [Disconnected by services]
CHEE has joined #ocaml
CHEE is now known as chee
Snark has quit [Quit: Ex-Chat]
ssbr_ is now known as ssbr
Vassia has joined #ocaml
Vassia has quit [Ping timeout: 276 seconds]
Edward has joined #ocaml
ulfdoz has joined #ocaml
ccasin has quit [Remote host closed the connection]
ssbr_ has joined #ocaml
ssbr has quit [Disconnected by services]
ssbr_ is now known as ssbr
sepp2k has joined #ocaml
avsm has joined #ocaml
metasyntax` has joined #ocaml
ttamttam has quit [Quit: Leaving.]
|marius| has quit [Remote host closed the connection]
bluestorm has joined #ocaml
Vassia has joined #ocaml
Vassia has quit [Ping timeout: 260 seconds]
jakedouglas has quit [Quit: Leaving.]
Edward has joined #ocaml
ygrek has quit [Remote host closed the connection]
ygrek has joined #ocaml
Zer has joined #ocaml
ygrek has quit [Remote host closed the connection]
sepp2k has quit [Quit: Leaving.]
oc13 has quit [Quit: oc13]
<
pikachuyann>
bonne nuit/good night
julm has left #ocaml []
julm has joined #ocaml
cthuluh has joined #ocaml
pikachuyann has quit [Quit: 'night]
<
julm>
hum, or is it proofread
thelema_ is now known as thelema
<
thelema>
The wikileaks guy does ocaml?
<
thelema>
back in 2000, it seems...
<
thelema>
once upon a time he created irc.ocaml.org
<
julm>
Linux 2.2 :(
bluestorm has quit [Quit: Leaving]
Anarchos has quit [Remote host closed the connection]
Anarchos has joined #ocaml
avsm has quit [Quit: Leaving.]
xmarteo has quit [Quit: Debian GNU/Hurd is Good.]
Modius has joined #ocaml
Modius has quit [Max SendQ exceeded]
Modius has joined #ocaml