#ocaml on 2005-10-04 — irc logs at freenode.irclog.whitequark.org

2005-08-18 20:30 ayrnieu changed the topic of #ocaml to: OCaml 3.08.4 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/

00:20 Submarine has quit ["Leaving"]

00:43 SmerdyOffice has quit ["home"]

00:50 UziMonkey has joined #ocaml

00:52 <KrispyKringle> Is there a concatenation function? Something of type 'a list -> 'a list -> 'a list, like ++ in Haskell?

00:55 <KrispyKringle> oh, append

00:55 <KrispyKringle> nice

01:11 <mfurr> or '@' for short

01:44 teiax has joined #ocaml

02:06 UziMonkey has quit [Remote closed the connection]

02:27 mrsolo has quit [Read error: 104 (Connection reset by peer)]

02:47 pango_ has joined #ocaml

03:04 pango has quit [Read error: 110 (Connection timed out)]

03:06 threeve has joined #ocaml

04:00 threeve has quit []

04:47 jlarocco has joined #ocaml

04:48 mauke has quit [Remote closed the connection]

04:48 mauke has joined #ocaml

05:32 Snark has joined #ocaml

06:01 UziMonkey has joined #ocaml

06:13 teiax has quit [Read error: 110 (Connection timed out)]

06:15 Skal has joined #ocaml

06:36 Submarine has joined #ocaml

06:48 vodka-goo has joined #ocaml

06:55 pango_ has quit [Remote closed the connection]

07:04 pango has joined #ocaml

07:33 yeknoMizU has joined #ocaml

07:42 _fab has joined #ocaml

07:49 Snark has quit ["Leaving"]

08:03 ski has joined #ocaml

08:23 ppsmimou has joined #ocaml

08:46 UziMonkey has quit [Nick collision from services.]

08:46 yeknoMizU is now known as UziMonkey

09:07 Revision17 has joined #ocaml

09:17 revision17_ has quit [Read error: 110 (Connection timed out)]

09:23 UziMonkey has quit [Remote closed the connection]

09:52 ski_ has joined #ocaml

09:53 ski has quit [Nick collision from services.]

09:53 ski_ is now known as ski

09:56 brx has joined #ocaml

10:00 Submarine has quit ["Leaving"]

10:17 brx has quit [Connection timed out]

10:28 vezenchio has joined #ocaml

10:38 brx_ has joined #ocaml

10:40 Submarine has joined #ocaml

10:51 Schmurtz has quit [Read error: 104 (Connection reset by peer)]

11:04 brx has joined #ocaml

11:08 brx_ has quit [Read error: 110 (Connection timed out)]

11:11 brx_ has joined #ocaml

11:21 brx has quit [Read error: 110 (Connection timed out)]

11:27 UziMonkey has joined #ocaml

11:58 ChipsterOne has joined #ocaml

12:11 brx has joined #ocaml

12:21 brx_ has quit [Read error: 110 (Connection timed out)]

12:25 ChipsterOne has quit []

12:48 brx_ has joined #ocaml

13:02 rikkus has joined #ocaml

13:04 brx__ has joined #ocaml

13:04 brx has quit [Connection timed out]

13:05 brx_ has quit [Connection timed out]

13:06 rikkus has left #ocaml []

13:10 threeve has joined #ocaml

13:15 brx has joined #ocaml

13:15 ChipsterOne has joined #ocaml

13:20 brx__ has quit [Connection timed out]

13:33 brx has quit [Connection timed out]

13:35 brx has joined #ocaml

13:39 Skal has quit [Remote closed the connection]

13:50 brx_ has joined #ocaml

13:54 brx has quit [Success]

14:02 brx has joined #ocaml

14:15 brx_ has quit [Connection timed out]

14:20 brx has quit [Connection timed out]

14:34 exa has joined #ocaml

14:35 teiax has joined #ocaml

14:38 Skal has joined #ocaml

14:39 brx has joined #ocaml

14:51 kgofse has joined #ocaml

14:55 kgofse has quit []

14:56 vodka-goo has quit [Remote closed the connection]

14:57 vodka-goo has joined #ocaml

14:57 brx has quit [Read error: 110 (Connection timed out)]

15:01 Snark has joined #ocaml

15:12 exa has quit [Remote closed the connection]

15:12 exa has joined #ocaml

15:16 __DL__ has joined #ocaml

15:16 ppsmimou has quit [Read error: 104 (Connection reset by peer)]

15:19 brx has joined #ocaml

15:23 teiax has quit [Read error: 110 (Connection timed out)]

15:28 UziMonkey has quit [Remote closed the connection]

15:29 UziMonkey has joined #ocaml

15:30 ski has quit ["nmi"]

15:33 ski has joined #ocaml

15:37 mrpingoo has joined #ocaml

15:37 vodka-goo has quit [Read error: 110 (Connection timed out)]

15:58 brx has quit [Read error: 110 (Connection timed out)]

16:05 brx_ has joined #ocaml

16:21 brx has joined #ocaml

16:26 brx_ has quit [Read error: 110 (Connection timed out)]

16:27 brx has quit [Remote closed the connection]

16:27 ski_ has joined #ocaml

16:28 brx has joined #ocaml

16:28 ski has quit [Nick collision from services.]

16:28 ski_ is now known as ski

16:30 ppsmimou has joined #ocaml

16:33 ppsmimou has quit [Client Quit]

16:35 brx has quit [Remote closed the connection]

16:36 brx has joined #ocaml

16:47 ski_ has joined #ocaml

16:48 brx_ has joined #ocaml

16:48 ski has quit [Nick collision from services.]

16:48 ski_ is now known as ski

16:53 brx has quit [Read error: 110 (Connection timed out)]

16:59 brx has joined #ocaml

17:00 batdog has quit [Read error: 110 (Connection timed out)]

17:02 ski has quit ["Leaving"]

17:03 chs_ has quit []

17:10 brx_ has quit [Connection timed out]

17:15 smimou has joined #ocaml

17:17 brx has quit [Connection timed out]

17:20 brx has joined #ocaml

17:24 exa has quit [Remote closed the connection]

17:46 mrsolo has joined #ocaml

17:52 exa has joined #ocaml

17:53 shirogane has joined #ocaml

17:54 Schmurtz has joined #ocaml

17:57 pango has quit ["Leaving"]

18:09 batdog has joined #ocaml

18:24 brx has quit [Remote closed the connection]

18:24 brx has joined #ocaml

18:53 exa has quit [Remote closed the connection]

18:59 Submarine has quit ["in Soviet Russia, Céline Dion owns you"]

19:00 brx has quit [Remote closed the connection]

19:01 brx has joined #ocaml

19:12 Snark has quit ["Leaving"]

19:20 shirogane has quit [Remote closed the connection]

19:49 Submarine has joined #ocaml

19:52 ulfdoz_ has quit [zelazny.freenode.net irc.freenode.net]

19:52 Skal has quit [zelazny.freenode.net irc.freenode.net]

19:54 Skal has joined #ocaml

19:54 ulfdoz_ has joined #ocaml

20:02 ulfdoz_ has quit [zelazny.freenode.net irc.freenode.net]

20:02 Skal has quit [zelazny.freenode.net irc.freenode.net]

20:02 Skal has joined #ocaml

20:02 ulfdoz_ has joined #ocaml

20:03 ulfdoz_ has quit [Read error: 54 (Connection reset by peer)]

20:08 haelix has quit [Remote closed the connection]

20:08 ulfdoz has joined #ocaml

20:28 __DL__ has quit [Remote closed the connection]

20:40 haelix has joined #ocaml

20:59 <ChipsterOne> bonne nuit tout le monde

21:01 ChipsterOne has quit []

22:11 exa has joined #ocaml

22:23 exa has quit [Remote closed the connection]

22:31 threeve has quit []

23:07 mlh_ has joined #ocaml

23:25 _fab has quit []

23:26 Skal has quit [Remote closed the connection]

23:29 UziMonkey has quit [Remote closed the connection]

23:30 smimou has quit ["?"]

23:59 Submarine has quit ["Leaving"]