_fab has quit [Read error: 110 (Connection timed out)]
m3ga has joined #ocaml
m3ga has quit [Client Quit]
j_n has quit [Read error: 104 (Connection reset by peer)]
j_n has joined #ocaml
Xolution has quit ["Leaving"]
fab_ has quit [Remote closed the connection]
mrsolo_ has quit [Read error: 104 (Connection reset by peer)]
mrsolo_ has joined #ocaml
mattam_ has joined #ocaml
mattam has quit [Read error: 104 (Connection reset by peer)]
budjet has joined #ocaml
mlh has quit [Client Quit]
budjet has quit [Remote closed the connection]
mlh has joined #ocaml
smimou has joined #ocaml
smimou has quit [Read error: 54 (Connection reset by peer)]
smimou has joined #ocaml
_fab has joined #ocaml
smimou has quit [Read error: 232 (Connection reset by peer)]
<haelix>
/join #javascript
ruut_ has joined #ocaml
ruut_ has left #ocaml []
bk__ has joined #ocaml
bk__ is now known as bk_
zigong has joined #ocaml
zigong has left #ocaml []
Xolution has joined #ocaml
vincenz has quit ["leaving"]
vincenz has joined #ocaml
bk_ has quit [burroughs.freenode.net irc.freenode.net]
_fab has quit [burroughs.freenode.net irc.freenode.net]
ndara has quit [burroughs.freenode.net irc.freenode.net]
haelix has quit [burroughs.freenode.net irc.freenode.net]
jrosdahl has quit [burroughs.freenode.net irc.freenode.net]
avn has quit [burroughs.freenode.net irc.freenode.net]
gl has quit [burroughs.freenode.net irc.freenode.net]
bk_ has joined #ocaml
_fab has joined #ocaml
ndara has joined #ocaml
haelix has joined #ocaml
jrosdahl has joined #ocaml
gl has joined #ocaml
avn has joined #ocaml
_fab has quit []
mlh has quit [Client Quit]
mlh has joined #ocaml
mlh has quit [Client Quit]
fargusko has joined #ocaml
bk_ has quit ["Leaving IRC - dircproxy 1.1.0"]
_fab has joined #ocaml
fargusko has quit [Remote closed the connection]
malte_ has joined #ocaml
fab_ has joined #ocaml
_fab has quit [Read error: 54 (Connection reset by peer)]
fargusko has joined #ocaml
mrsolo_ has quit [Read error: 238 (Connection timed out)]
mrsolo_ has joined #ocaml
<vincenz>
Hello, what's the name of the program (so I can google) of that utility that allows you to do uparrow and such when launching the ocaml shell
<vincenz>
got it
fargusko has quit [Remote closed the connection]
<malte_>
vincenz, i don't remember either, but try googling for ocaml+readline
<mflux>
I think he found it already?-)
<mflux>
anyway, for example ledit is such a tool
<Robert>
Nämen, titta vad man hittar här.
<vincenz>
yes it's ledit :)
<Riastradh>
Emacs!
<malte_>
Robert :o
<Robert>
:)
<mflux>
yes, emacs is extremely nice with ocaml
* Robert
doesn't use emacs.
<mflux>
with the word expansion, find-declaration-for-function and show-type-of-expression -hooks
<mflux>
well, I really use only the latter two
<mflux>
I suspect the 'emacs' written in ocaml has similar features and more
<Hadaka>
I have a list of lists - and I'd like to concatenate a list to the last list
<Hadaka>
yeah, I'm wondering what would be the neatest way to do it
<mflux>
well, you will need to traverse to the end of the list, and while doing so generate a new list, and finally at the last element append the other list to it
<Hadaka>
let magic l x = let r = List.rev l in List.rev(((List.hd r) @ x) :: (List.tl r))
<Hadaka>
hrm
<Hadaka>
ugly
<mflux>
well, that's an option too ;)
fargusko has joined #ocaml
mrsolo_ has quit [Read error: 110 (Connection timed out)]
fargusko has quit [Client Quit]
vezenchio has quit ["Hydrocon technology produces two waste products: steam and green goo. We dispose of the steam through various vents, strategi]
fargusko has joined #ocaml
mrsolo_ has joined #ocaml
fargusko has quit [Client Quit]
mrsolo_ has quit [Read error: 54 (Connection reset by peer)]
mrsolo_ has joined #ocaml
mrsolo_ has quit [Read error: 110 (Connection timed out)]
Xolution has quit ["Leaving"]
gim has joined #ocaml
Iter has joined #ocaml
bk_ has joined #ocaml
karryall has joined #ocaml
Xolution has joined #ocaml
Axioplase has joined #ocaml
zigong_ has joined #ocaml
Iter has quit [Read error: 110 (Connection timed out)]
gim has quit ["pouf"]
karryall has quit ["."]
<Axioplase>
++
Axioplase has quit [Read error: 104 (Connection reset by peer)]