__DL__ changed the topic of #ocaml to: OCaml 3.09.0 available! Archive of Caml Weekly News: http://sardes.inrialpes.fr/~aschmitt/cwn/ | A free book: http://cristal.inria.fr/~remy/cours/appsem/ | Mailing List: http://caml.inria.fr/bin/wilma/caml-list/ | Cookbook: http://pleac.sourceforge.net/
Skal has quit [Remote closed the connection]
Raziel has joined #ocaml
vodka-goo has quit []
cmeme has quit ["Client terminated by server"]
cmeme has joined #ocaml
quamaretto has joined #ocaml
ski has joined #ocaml
Smerdyakov has quit ["Leaving"]
pango_ has joined #ocaml
pango has quit [Read error: 145 (Connection timed out)]
m3ga has joined #ocaml
m3ga has quit [Read error: 104 (Connection reset by peer)]
m3ga has joined #ocaml
vezenchio has quit ["\\o sora wa hate shinai, kokoro no kagami dakara ne \o/ mainichi iro wo kaeteku utsushidasu you ni o//"]
joshcryer has joined #ocaml
m3ga has quit [Read error: 110 (Connection timed out)]
coumbes has joined #ocaml
quamaretto has quit ["bye"]
thedracle has joined #ocaml
thedracle has quit [Read error: 104 (Connection reset by peer)]
cmeme has quit [Network is unreachable]
Raziel has quit ["Yo soy goma. Tú eres cola."]
cmeme has joined #ocaml
shirogane has quit [Remote closed the connection]
_JusSx_ has joined #ocaml
Smerdyakov has joined #ocaml
descender has quit ["XML is like violence, if it doesn't solve the problem, just use more."]
descender has joined #ocaml
Revision17 has joined #ocaml
smimou has joined #ocaml
revision17_ has quit [Read error: 110 (Connection timed out)]
Skal has joined #ocaml
m3ga has joined #ocaml
m3ga has quit [Client Quit]
Skal has quit [Remote closed the connection]
Skal has joined #ocaml
vodka-goo has joined #ocaml
jynxzero has quit [Remote closed the connection]
skylan has quit [Read error: 104 (Connection reset by peer)]
skylan has joined #ocaml
coumbes has quit ["Later!"]
batdog|gone is now known as batdog
kryptt has joined #ocaml
quamaretto has joined #ocaml
gg has joined #ocaml
<gg> yop :)
<Schmurtz> yop too
vezenchio has joined #ocaml
toyz has joined #ocaml
__DL__ has joined #ocaml
toyed has joined #ocaml
toyz has quit [Read error: 110 (Connection timed out)]
gg has quit ["Leaving"]
kryptt has quit [Read error: 110 (Connection timed out)]
knobo has quit [Read error: 110 (Connection timed out)]
knobo has joined #ocaml
exa has joined #ocaml
<exa> hey what's up lambda guys? :)
<vodka-goo> :)
toyed has quit ["This computer has gone to sleep"]
HPSB has joined #ocaml
HPSB is now known as TaXules
Smerdyakov has quit [Read error: 104 (Connection reset by peer)]
<_JusSx_> VIM OR EMACS?
Smerdyakov has joined #ocaml
<dylan> I use emacs for the games, and vim as a text editor. XD
<Smerdyakov> Do you actually use vim to develop OCaml programs?
<smimou> don't want to feed the troll but the ocaml vim mode (omlet) is quite nice
<Smerdyakov> OK, now show me the vim mode you use with Coq. :P
<smimou> of course, for coq coqide is infinitely superior
<dylan> Coq?
<Smerdyakov> It seems to me that ProofGeneral is infinitely superior to CoqIDE. :P
<dylan> Obviously cat > file is superior.
Revision17 has quit ["Leaving"]
kryptt has joined #ocaml
shirogane has joined #ocaml
_JusSx_ has quit [Client Quit]
vodka-goo has quit []