#ocaml on 2005-07-11 — irc logs at freenode.irclog.whitequark.org

2005-03-17 14:13 smimou changed the topic of #ocaml to: OCaml 3.08.3 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:01 Skal has quit ["Client exiting"]

00:59 mfurr has quit ["Leaving"]

01:09 Smerdyakov has joined #ocaml

02:17 Sonarman has quit [Read error: 104 (Connection reset by peer)]

02:24 Demitar has quit [brown.freenode.net irc.freenode.net]

02:24 TaXules has quit [brown.freenode.net irc.freenode.net]

02:24 TeXitoi has quit [brown.freenode.net irc.freenode.net]

02:24 dan2 has quit [brown.freenode.net irc.freenode.net]

02:24 johs has quit [brown.freenode.net irc.freenode.net]

02:24 vincenz has quit [brown.freenode.net irc.freenode.net]

02:24 Hadaka has quit [brown.freenode.net irc.freenode.net]

02:24 skylan has quit [brown.freenode.net irc.freenode.net]

02:24 det has quit [brown.freenode.net irc.freenode.net]

02:24 pattern_ has quit [brown.freenode.net irc.freenode.net]

02:24 batdog has quit [brown.freenode.net irc.freenode.net]

02:24 pango has quit [brown.freenode.net irc.freenode.net]

02:24 noj has quit [brown.freenode.net irc.freenode.net]

02:24 mflux_ has quit [brown.freenode.net irc.freenode.net]

02:24 joo_ has quit [brown.freenode.net irc.freenode.net]

02:24 pango_ has quit [brown.freenode.net irc.freenode.net]

02:24 Herrchen has quit [brown.freenode.net irc.freenode.net]

02:24 whee has quit [brown.freenode.net irc.freenode.net]

02:24 rox has quit [brown.freenode.net irc.freenode.net]

02:24 slashvar[lri] has quit [brown.freenode.net irc.freenode.net]

02:24 Smerdyakov has quit [brown.freenode.net irc.freenode.net]

02:24 ulfdoz_ has quit [brown.freenode.net irc.freenode.net]

02:24 mattam has quit [brown.freenode.net irc.freenode.net]

02:24 Hipo has quit [brown.freenode.net irc.freenode.net]

02:24 cmeme has quit [brown.freenode.net irc.freenode.net]

02:24 araujo has quit [brown.freenode.net irc.freenode.net]

02:24 rossberg has quit [brown.freenode.net irc.freenode.net]

02:24 Banana has quit [brown.freenode.net irc.freenode.net]

02:24 calvin_ has quit [brown.freenode.net irc.freenode.net]

02:25 Smerdyakov has joined #ocaml

02:25 pattern_ has joined #ocaml

02:25 pango_ has joined #ocaml

02:25 pango has joined #ocaml

02:25 araujo has joined #ocaml

02:25 Herrchen has joined #ocaml

02:25 ulfdoz_ has joined #ocaml

02:25 whee has joined #ocaml

02:25 Demitar has joined #ocaml

02:25 TeXitoi has joined #ocaml

02:25 slashvar[lri] has joined #ocaml

02:25 dan2 has joined #ocaml

02:25 skylan has joined #ocaml

02:25 vincenz has joined #ocaml

02:25 cmeme has joined #ocaml

02:25 Hadaka has joined #ocaml

02:25 johs has joined #ocaml

02:25 rox has joined #ocaml

02:25 TaXules has joined #ocaml

02:25 rossberg has joined #ocaml

02:25 mattam has joined #ocaml

02:25 mflux_ has joined #ocaml

02:25 joo_ has joined #ocaml

02:25 noj has joined #ocaml

02:25 batdog has joined #ocaml

02:25 Banana has joined #ocaml

02:25 calvin_ has joined #ocaml

02:25 Hipo has joined #ocaml

02:25 det has joined #ocaml

02:25 mauke has quit [Connection reset by peer]

02:25 mauke has joined #ocaml

02:44 TeXitoi has quit [brown.freenode.net irc.freenode.net]

02:44 TaXules has quit [brown.freenode.net irc.freenode.net]

02:44 Demitar has quit [brown.freenode.net irc.freenode.net]

02:44 dan2 has quit [brown.freenode.net irc.freenode.net]

02:44 vincenz has quit [brown.freenode.net irc.freenode.net]

02:44 Hadaka has quit [brown.freenode.net irc.freenode.net]

02:44 johs has quit [brown.freenode.net irc.freenode.net]

02:44 skylan has quit [brown.freenode.net irc.freenode.net]

02:44 det has quit [brown.freenode.net irc.freenode.net]

02:44 pattern_ has quit [brown.freenode.net irc.freenode.net]

02:44 batdog has quit [brown.freenode.net irc.freenode.net]

02:44 pango has quit [brown.freenode.net irc.freenode.net]

02:44 noj has quit [brown.freenode.net irc.freenode.net]

02:44 mflux_ has quit [brown.freenode.net irc.freenode.net]

02:44 joo_ has quit [brown.freenode.net irc.freenode.net]

02:44 whee has quit [brown.freenode.net irc.freenode.net]

02:44 pango_ has quit [brown.freenode.net irc.freenode.net]

02:44 Herrchen has quit [brown.freenode.net irc.freenode.net]

02:44 rox has quit [brown.freenode.net irc.freenode.net]

02:44 slashvar[lri] has quit [brown.freenode.net irc.freenode.net]

02:44 ulfdoz_ has quit [brown.freenode.net irc.freenode.net]

02:44 mattam has quit [brown.freenode.net irc.freenode.net]

02:44 Smerdyakov has quit [brown.freenode.net irc.freenode.net]

02:44 cmeme has quit [brown.freenode.net irc.freenode.net]

02:44 Hipo has quit [brown.freenode.net irc.freenode.net]

02:44 mauke has quit [brown.freenode.net irc.freenode.net]

02:44 Banana has quit [brown.freenode.net irc.freenode.net]

02:44 rossberg has quit [brown.freenode.net irc.freenode.net]

02:44 calvin_ has quit [brown.freenode.net irc.freenode.net]

02:44 araujo has quit [brown.freenode.net irc.freenode.net]

02:45 mauke has joined #ocaml

02:45 Smerdyakov has joined #ocaml

02:45 pattern_ has joined #ocaml

02:45 pango_ has joined #ocaml

02:45 pango has joined #ocaml

02:45 araujo has joined #ocaml

02:45 Herrchen has joined #ocaml

02:45 ulfdoz_ has joined #ocaml

02:45 whee has joined #ocaml

02:45 Demitar has joined #ocaml

02:45 TeXitoi has joined #ocaml

02:45 slashvar[lri] has joined #ocaml

02:45 dan2 has joined #ocaml

02:45 skylan has joined #ocaml

02:45 vincenz has joined #ocaml

02:45 cmeme has joined #ocaml

02:45 Hadaka has joined #ocaml

02:45 johs has joined #ocaml

02:45 rox has joined #ocaml

02:45 TaXules has joined #ocaml

02:45 rossberg has joined #ocaml

02:45 mattam has joined #ocaml

02:45 mflux_ has joined #ocaml

02:45 joo_ has joined #ocaml

02:45 noj has joined #ocaml

02:45 batdog has joined #ocaml

02:45 Banana has joined #ocaml

02:45 calvin_ has joined #ocaml

02:45 Hipo has joined #ocaml

02:45 det has joined #ocaml

02:45 TeXitoi has quit [brown.freenode.net irc.freenode.net]

02:45 TaXules has quit [brown.freenode.net irc.freenode.net]

02:45 Demitar has quit [brown.freenode.net irc.freenode.net]

02:45 dan2 has quit [brown.freenode.net irc.freenode.net]

02:45 vincenz has quit [brown.freenode.net irc.freenode.net]

02:45 Hadaka has quit [brown.freenode.net irc.freenode.net]

02:45 johs has quit [brown.freenode.net irc.freenode.net]

02:45 skylan has quit [brown.freenode.net irc.freenode.net]

02:45 det has quit [brown.freenode.net irc.freenode.net]

02:45 pattern_ has quit [brown.freenode.net irc.freenode.net]

02:45 batdog has quit [brown.freenode.net irc.freenode.net]

02:45 pango has quit [brown.freenode.net irc.freenode.net]

02:45 noj has quit [brown.freenode.net irc.freenode.net]

02:45 mflux_ has quit [brown.freenode.net irc.freenode.net]

02:45 joo_ has quit [brown.freenode.net irc.freenode.net]

02:45 whee has quit [brown.freenode.net irc.freenode.net]

02:45 pango_ has quit [brown.freenode.net irc.freenode.net]

02:45 Herrchen has quit [brown.freenode.net irc.freenode.net]

02:45 rox has quit [brown.freenode.net irc.freenode.net]

02:46 slashvar[lri] has quit [brown.freenode.net irc.freenode.net]

02:46 ulfdoz_ has quit [brown.freenode.net irc.freenode.net]

02:46 mattam has quit [brown.freenode.net irc.freenode.net]

02:46 Smerdyakov has quit [brown.freenode.net irc.freenode.net]

02:46 cmeme has quit [brown.freenode.net irc.freenode.net]

02:46 Hipo has quit [brown.freenode.net irc.freenode.net]

02:46 Banana has quit [brown.freenode.net irc.freenode.net]

02:46 rossberg has quit [brown.freenode.net irc.freenode.net]

02:46 calvin_ has quit [brown.freenode.net irc.freenode.net]

02:46 mauke has quit [brown.freenode.net irc.freenode.net]

02:46 araujo has quit [brown.freenode.net irc.freenode.net]

02:47 mauke has joined #ocaml

02:47 Smerdyakov has joined #ocaml

02:47 pattern_ has joined #ocaml

02:47 pango_ has joined #ocaml

02:47 pango has joined #ocaml

02:47 araujo has joined #ocaml

02:47 Herrchen has joined #ocaml

02:47 ulfdoz_ has joined #ocaml

02:47 whee has joined #ocaml

02:47 Demitar has joined #ocaml

02:47 TeXitoi has joined #ocaml

02:47 slashvar[lri] has joined #ocaml

02:47 dan2 has joined #ocaml

02:47 skylan has joined #ocaml

02:47 vincenz has joined #ocaml

02:47 cmeme has joined #ocaml

02:47 Hadaka has joined #ocaml

02:47 johs has joined #ocaml

02:47 rox has joined #ocaml

02:47 TaXules has joined #ocaml

02:47 det has joined #ocaml

02:47 Hipo has joined #ocaml

02:47 calvin_ has joined #ocaml

02:47 Banana has joined #ocaml

02:47 batdog has joined #ocaml

02:47 noj has joined #ocaml

02:47 rossberg has joined #ocaml

02:47 mattam has joined #ocaml

02:47 mflux_ has joined #ocaml

02:47 joo_ has joined #ocaml

03:34 ulfdoz has joined #ocaml

03:52 ulfdoz_ has quit [Read error: 110 (Connection timed out)]

04:00 Herrchen_ has joined #ocaml

04:04 Herrchen has quit [Read error: 60 (Operation timed out)]

04:26 <ulfdoz> re

04:37 <Smerdyakov> It's too bad that ulfdoz saying "re" is the highlight of the #ocaml daily programme.

04:38 <ulfdoz> Hey, last discussion was yesterday quarter past six pm.

04:38 <Smerdyakov> In what time zone?

04:39 <ulfdoz> probably in three weeks I'll continue to ask beginner questions. :)

04:39 <ulfdoz> CEST

04:39 <Smerdyakov> What time is it for you now?

04:39 <ulfdoz> +0200 I think.

04:39 <ulfdoz> 6:40

04:40 <Smerdyakov> OK. Quarter past 6 PM already happened here. :D

04:40 <ulfdoz> hrhr

04:42 Sonarman has joined #ocaml

05:01 Smerdyakov has quit ["into the cellar for a spot of nogginry"]

05:36 cpage has joined #ocaml

05:47 vodka-goo has joined #ocaml

06:15 Nutssh has joined #ocaml

06:38 ffdd has quit [Read error: 104 (Connection reset by peer)]

06:38 _qvisitor has quit [Success]

06:38 mw has quit [Read error: 104 (Connection reset by peer)]

06:38 Nutssh has quit [Excess Flood]

06:38 ffdd has joined #ocaml

06:39 mauke_ has joined #ocaml

06:39 TeXitoi has quit [brown.freenode.net irc.freenode.net]

06:39 TaXules has quit [brown.freenode.net irc.freenode.net]

06:39 Demitar has quit [brown.freenode.net irc.freenode.net]

06:39 dan2 has quit [brown.freenode.net irc.freenode.net]

06:39 vincenz has quit [brown.freenode.net irc.freenode.net]

06:39 Hadaka has quit [brown.freenode.net irc.freenode.net]

06:39 skylan has quit [brown.freenode.net irc.freenode.net]

06:39 johs has quit [brown.freenode.net irc.freenode.net]

06:39 det has quit [brown.freenode.net irc.freenode.net]

06:39 pattern_ has quit [brown.freenode.net irc.freenode.net]

06:39 batdog has quit [brown.freenode.net irc.freenode.net]

06:39 vodka-goo has quit [brown.freenode.net irc.freenode.net]

06:39 pango has quit [brown.freenode.net irc.freenode.net]

06:39 noj has quit [brown.freenode.net irc.freenode.net]

06:39 Sonarman has quit [brown.freenode.net irc.freenode.net]

06:39 pango_ has quit [brown.freenode.net irc.freenode.net]

06:39 whee has quit [brown.freenode.net irc.freenode.net]

06:39 rox has quit [brown.freenode.net irc.freenode.net]

06:39 slashvar[lri] has quit [brown.freenode.net irc.freenode.net]

06:39 ulfdoz has quit [brown.freenode.net irc.freenode.net]

06:39 mattam has quit [brown.freenode.net irc.freenode.net]

06:39 Hipo has quit [brown.freenode.net irc.freenode.net]

06:39 cmeme has quit [brown.freenode.net irc.freenode.net]

06:39 Herrchen_ has quit [brown.freenode.net irc.freenode.net]

06:39 Banana has quit [brown.freenode.net irc.freenode.net]

06:39 calvin_ has quit [brown.freenode.net irc.freenode.net]

06:39 mauke has quit [brown.freenode.net irc.freenode.net]

06:39 rossberg has quit [brown.freenode.net irc.freenode.net]

06:39 araujo has quit [brown.freenode.net irc.freenode.net]

06:39 mflux_ has quit [brown.freenode.net irc.freenode.net]

06:39 joo_ has quit [brown.freenode.net irc.freenode.net]

06:40 cmeme has joined #ocaml

06:41 cpage has quit [Success]

06:42 mellum_ has joined #ocaml

06:44 slashvar[lri] has joined #ocaml

06:44 batdog has joined #ocaml

06:44 vodka-goo has joined #ocaml

06:44 pango has joined #ocaml

06:44 Demitar has joined #ocaml

06:44 TeXitoi has joined #ocaml

06:44 TaXules has joined #ocaml

06:44 mflux_ has joined #ocaml

06:44 joo_ has joined #ocaml

06:44 noj has joined #ocaml

06:45 pattern_ has joined #ocaml

06:45 pango has quit [brown.freenode.net irc.freenode.net]

06:45 noj has quit [brown.freenode.net irc.freenode.net]

06:45 vodka-goo has quit [brown.freenode.net irc.freenode.net]

06:45 cpage has joined #ocaml

06:45 Naked has joined #ocaml

06:45 Nutssh has joined #ocaml

06:45 Naked is now known as Hadaka

06:47 Banana has joined #ocaml

06:47 vincenz has joined #ocaml

07:03 mellum has quit [Connection timed out]

07:03 cmeme has quit [Read error: 104 (Connection reset by peer)]

07:03 mellum_ has quit [Read error: 104 (Connection reset by peer)]

07:04 ffdd has quit [Read error: 110 (Connection timed out)]

07:04 Nutssh has quit [brown.freenode.net irc.freenode.net]

07:04 vincenz has quit [brown.freenode.net irc.freenode.net]

07:04 pattern_ has quit [brown.freenode.net irc.freenode.net]

07:04 TeXitoi has quit [brown.freenode.net irc.freenode.net]

07:04 batdog has quit [brown.freenode.net irc.freenode.net]

07:04 TaXules has quit [brown.freenode.net irc.freenode.net]

07:04 Demitar has quit [brown.freenode.net irc.freenode.net]

07:04 Hadaka has quit [brown.freenode.net irc.freenode.net]

07:04 cpage has quit [brown.freenode.net irc.freenode.net]

07:04 mflux_ has quit [brown.freenode.net irc.freenode.net]

07:04 joo_ has quit [brown.freenode.net irc.freenode.net]

07:04 slashvar[lri] has quit [brown.freenode.net irc.freenode.net]

07:04 mauke_ has quit [Connection timed out]

07:04 Amorphous has quit [Success]

07:05 gim has quit [Read error: 104 (Connection reset by peer)]

07:05 Banana has quit [Nick collision]

07:05 TaXules_ has joined #ocaml

07:05 TaXules has joined #ocaml

07:05 Demitar has joined #ocaml

07:05 pattern_ has joined #ocaml

07:05 vincenz has joined #ocaml

07:05 mauke has joined #ocaml

07:05 Banana has joined #ocaml

07:05 batdog has joined #ocaml

07:05 Nutssh has joined #ocaml

07:05 rossberg_ has joined #ocaml

07:05 cmeme has joined #ocaml

07:05 mellum_ has joined #ocaml

07:05 skylan has joined #ocaml

07:05 dan2 has joined #ocaml

07:05 noj has joined #ocaml

07:05 cpage has joined #ocaml

07:05 TeXitoi has joined #ocaml

07:05 pango has joined #ocaml

07:05 vodka-goo has joined #ocaml

07:05 johs has joined #ocaml

07:05 ulfdoz_ has joined #ocaml

07:05 calvin_ has joined #ocaml

07:05 Herrchen has joined #ocaml

07:05 mw has joined #ocaml

07:05 Hipo has joined #ocaml

07:05 _qvisitor has joined #ocaml

07:05 rox has joined #ocaml

07:05 whee has joined #ocaml

07:05 pango_ has joined #ocaml

07:05 det has joined #ocaml

07:05 mattam has joined #ocaml

07:05 Sonarman has joined #ocaml

07:05 ulfdoz has joined #ocaml

07:05 slashvar[lri] has joined #ocaml

07:05 mflux_ has joined #ocaml

07:05 joo_ has joined #ocaml

07:05 TaXules has quit [Read error: 104 (Connection reset by peer)]

07:05 gim has joined #ocaml

07:05 ulfdoz has quit [Read error: 110 (Connection timed out)]

07:06 Amorphous has joined #ocaml

07:08 __DL__ has joined #ocaml

07:09 ffdd has joined #ocaml

07:10 Naked has joined #ocaml

07:10 Naked is now known as Hadaka

07:28 pango_ has quit [Remote closed the connection]

07:44 pango has quit ["Leaving"]

07:44 pango has joined #ocaml

08:41 Submarine has joined #ocaml

08:42 araujo has joined #ocaml

08:58 araujo has quit ["Programs must be written for people to read, and only incidentally for machines to execute"]

09:03 rossberg_ is now known as rossberg

09:20 Submarine has quit ["Leaving"]

10:06 Nutssh has quit ["Client exiting"]

10:31 araujo has joined #ocaml

11:48 Submarine has joined #ocaml

11:57 Submarine has quit ["Leaving"]

11:57 Enveigler_ has joined #ocaml

11:57 Submarine has joined #ocaml

11:58 Saulzar has joined #ocaml

12:41 LeChevalierAnu has joined #ocaml

12:53 LeChevalierAnu has left #ocaml []

12:57 TaXules_ is now known as TaXules

13:05 Submarine has quit ["Leaving"]

13:28 Enveigler_ has quit [Read error: 110 (Connection timed out)]

14:21 Smerdyakov has joined #ocaml

14:41 Smerdyakov has quit ["go work"]

15:49 mauke has quit [Remote closed the connection]

15:49 mauke has joined #ocaml

15:59 Sonarman has quit [Read error: 104 (Connection reset by peer)]

16:37 _shawn has joined #ocaml

16:55 pango has quit ["Leaving"]

16:57 Enveigler_ has joined #ocaml

17:28 Enveigler_ has quit [Read error: 110 (Connection timed out)]

18:49 Enveigler_ has joined #ocaml

19:18 MisterC has joined #ocaml

19:29 Enveigler_ has quit [Read error: 110 (Connection timed out)]

20:17 <ulfdoz_> bye

20:21 _shawn has quit [Read error: 110 (Connection timed out)]

20:21 _shawn has joined #ocaml

20:34 vodka-goo has quit []

21:21 dan2 has quit [Remote closed the connection]

21:33 TeXitoi has quit ["leaving"]

21:34 dan2 has joined #ocaml

21:54 mrsolo has joined #ocaml

21:55 <mrsolo> e

22:02 Enveigler_ has joined #ocaml

22:27 Herrchen has quit [Read error: 110 (Connection timed out)]

22:46 Enveigler_ has quit [Read error: 110 (Connection timed out)]

23:08 mrsolo has quit ["Leaving"]

23:27 __DL__ has quit [Read error: 104 (Connection reset by peer)]

23:47 Sonarman has joined #ocaml