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
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? :)
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
<
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 []