#ocaml on 2005-01-14 — irc logs at freenode.irclog.whitequark.org

2004-12-19 21:26 dan2 changed the topic of #ocaml to: OCaml 3.08.2 available! | Archive of Caml Weekly News: http://sardes.inrialpes.fr/~aschmitt/cwn/ | A tutorial: http://merjis.com/richj/computers/ocaml/tutorial/ | 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:16 mlh has joined #ocaml

00:23 mlh has quit [Client Quit]

00:24 mattam has quit [Read error: 113 (No route to host)]

00:28 <kuribas> heh, it's not possible to define the fixed-point function in ocaml

00:29 <pnou> yes it is, but you need to use the -rectypes flag

00:29 <kuribas> pnou: thanks, good to know

00:31 <kuribas> ah yes, it works

00:34 smkl has quit [Read error: 110 (Connection timed out)]

00:34 kuribas has quit ["Leaving"]

00:38 apfel has quit ["Just died"]

00:50 Demitar has quit [Read error: 110 (Connection timed out)]

01:15 smkl has joined #ocaml

01:41 gim has quit ["zzz.dodo.net"]

01:53 zzorn_afk2 is now known as zzorn

02:14 zzorn has quit ["They are coming to take me away, ha ha"]

02:29 mlh has joined #ocaml

02:38 durnew has quit [Read error: 104 (Connection reset by peer)]

02:59 lmbdwr has quit [Read error: 104 (Connection reset by peer)]

03:13 xqw has quit [Read error: 110 (Connection timed out)]

03:14 xqw has joined #ocaml

03:23 tintin has joined #ocaml

03:35 xqw has quit [Read error: 60 (Operation timed out)]

04:24 smkl has quit [Read error: 110 (Connection timed out)]

04:58 stef has joined #ocaml

04:58 stef_ has quit [Read error: 54 (Connection reset by peer)]

05:10 xqw has joined #ocaml

05:30 mrvn has joined #ocaml

05:47 smkl has joined #ocaml

05:54 mrvn_ has quit [Read error: 110 (Connection timed out)]

05:56 humasect has joined #ocaml

06:08 monochrom has quit ["Few people understand "understanding"."]

06:24 mlh has quit [Client Quit]

06:25 humasect has quit [Read error: 110 (Connection timed out)]

06:45 vezenchio has joined #ocaml

06:50 Submarine has joined #ocaml

07:22 mrvn_ has joined #ocaml

07:23 pango has quit ["Client exiting"]

07:40 smkl has quit [Read error: 110 (Connection timed out)]

07:43 mrvn has quit [Read error: 110 (Connection timed out)]

08:01 smkl has joined #ocaml

08:40 zzorn has joined #ocaml

08:48 smkl has quit [Read error: 60 (Operation timed out)]

08:54 zzorn_ has joined #ocaml

08:58 zzorn has quit [Read error: 60 (Operation timed out)]

08:59 zzorn has joined #ocaml

08:59 zzorn_ has quit ["They are coming to take me away, ha ha"]

09:24 Submarine has quit ["Leaving"]

09:32 Submarine has joined #ocaml

09:33 Submarine has quit [Client Quit]

09:35 smimou has joined #ocaml

09:39 smkl has joined #ocaml

09:39 Submarine has joined #ocaml

10:16 zzorn has left #ocaml []

10:18 zzorn has joined #ocaml

10:25 smkl has quit [Read error: 60 (Operation timed out)]

10:41 zzorn_ has joined #ocaml

10:48 zzorn has quit [Read error: 60 (Operation timed out)]

10:49 zzorn has joined #ocaml

10:49 zzorn_ has quit ["They are coming to take me away, ha ha"]

10:53 zxy_ has quit ["Lost terminal"]

11:13 stef has quit [tolkien.freenode.net irc.freenode.net]

11:13 yella_ has quit [tolkien.freenode.net irc.freenode.net]

11:13 Inspico has quit [tolkien.freenode.net irc.freenode.net]

11:13 mflux has quit [tolkien.freenode.net irc.freenode.net]

11:13 slashvar[lri] has quit [tolkien.freenode.net irc.freenode.net]

11:13 Amorphous has quit [tolkien.freenode.net irc.freenode.net]

11:13 senko has quit [tolkien.freenode.net irc.freenode.net]

11:13 det has quit [tolkien.freenode.net irc.freenode.net]

11:13 vezenchio has quit [tolkien.freenode.net irc.freenode.net]

11:13 Banana_ has quit [tolkien.freenode.net irc.freenode.net]

11:13 xqw has quit [tolkien.freenode.net irc.freenode.net]

11:13 shawn_ has quit [tolkien.freenode.net irc.freenode.net]

11:13 mellum has quit [tolkien.freenode.net irc.freenode.net]

11:13 Submarine has quit [tolkien.freenode.net irc.freenode.net]

11:13 mrvn_ has quit [tolkien.freenode.net irc.freenode.net]

11:13 dan2 has quit [tolkien.freenode.net irc.freenode.net]

11:13 cmeme has quit [tolkien.freenode.net irc.freenode.net]

11:13 skylan has quit [tolkien.freenode.net irc.freenode.net]

11:13 Hipo has quit [tolkien.freenode.net irc.freenode.net]

11:13 dd_ has quit [tolkien.freenode.net irc.freenode.net]

11:13 haakonn has quit [tolkien.freenode.net irc.freenode.net]

11:13 pnou has quit [tolkien.freenode.net irc.freenode.net]

11:13 judge has quit [tolkien.freenode.net irc.freenode.net]

11:13 _fab has quit [tolkien.freenode.net irc.freenode.net]

11:13 noj has quit [tolkien.freenode.net irc.freenode.net]

11:13 calvin_ has quit [tolkien.freenode.net irc.freenode.net]

11:13 CLxyz has quit [tolkien.freenode.net irc.freenode.net]

11:13 dobrek_ has quit [tolkien.freenode.net irc.freenode.net]

11:13 avn has quit [tolkien.freenode.net irc.freenode.net]

11:13 Hadaka has quit [tolkien.freenode.net irc.freenode.net]

11:19 oracle1 has quit [Read error: 104 (Connection reset by peer)]

11:19 oracle1 has joined #ocaml

11:19 Submarine has joined #ocaml

11:19 mrvn_ has joined #ocaml

11:19 vezenchio has joined #ocaml

11:19 xqw has joined #ocaml

11:19 stef has joined #ocaml

11:19 Banana_ has joined #ocaml

11:19 dan2 has joined #ocaml

11:19 yella_ has joined #ocaml

11:19 CLxyz has joined #ocaml

11:19 cmeme has joined #ocaml

11:19 shawn_ has joined #ocaml

11:19 skylan has joined #ocaml

11:19 Inspico has joined #ocaml

11:19 haakonn has joined #ocaml

11:19 _fab has joined #ocaml

11:19 Hipo has joined #ocaml

11:19 dd_ has joined #ocaml

11:19 senko has joined #ocaml

11:19 mflux has joined #ocaml

11:19 Amorphous has joined #ocaml

11:19 slashvar[lri] has joined #ocaml

11:19 det has joined #ocaml

11:19 mellum has joined #ocaml

11:19 pnou has joined #ocaml

11:19 judge has joined #ocaml

11:19 Hadaka has joined #ocaml

11:19 avn has joined #ocaml

11:19 noj has joined #ocaml

11:19 dobrek_ has joined #ocaml

11:19 calvin_ has joined #ocaml

11:20 tintin has quit [Read error: 104 (Connection reset by peer)]

11:22 tintin has joined #ocaml

11:30 vezenchio has quit ["Greenspun's Tenth Rule of Programming: any sufficiently complicated C or Fortran program contains an ad hoc informally-specif]

11:31 vezenchio has joined #ocaml

11:33 Submarine has quit ["Leaving"]

11:44 stef has quit [Nick collision from services.]

11:44 stef_ has joined #ocaml

11:52 smkl has joined #ocaml

12:04 gim has joined #ocaml

12:15 __DL__ has joined #ocaml

12:16 __DL__ has quit [Read error: 104 (Connection reset by peer)]

13:01 Submarine has joined #ocaml

13:11 _JusSx_ has joined #ocaml

13:12 xqw has quit [Read error: 110 (Connection timed out)]

13:12 xqw has joined #ocaml

13:18 smkl has quit [Read error: 110 (Connection timed out)]

13:58 Submarine has quit ["Leaving"]

13:59 Demitar has joined #ocaml

14:00 Demitar has quit [Client Quit]

14:02 Demitar has joined #ocaml

14:02 Demitar has quit [Remote closed the connection]

14:02 Demitar has joined #ocaml

14:04 Demitar has quit [Client Quit]

14:04 Demitar has joined #ocaml

14:06 smkl has joined #ocaml

14:30 smimou has quit ["?"]

14:38 Submarine has joined #ocaml

15:09 zzorn_ has joined #ocaml

15:25 zzorn has quit [Read error: 110 (Connection timed out)]

15:27 smkl has quit [Read error: 110 (Connection timed out)]

15:50 drewr has joined #ocaml

16:04 drewr has quit ["ERC Version 5.0 $Revision: 1.730 $ (IRC client for Emacs)"]

16:19 Submarine has quit [Read error: 113 (No route to host)]

16:20 smkl has joined #ocaml

16:26 stef_ has quit [Read error: 60 (Operation timed out)]

16:29 CosmicRay has joined #ocaml

16:32 gim has quit [Remote closed the connection]

16:32 zzorn_ is now known as zzorn_away

16:44 drewr has joined #ocaml

17:09 _shawn has joined #ocaml

17:12 _fab has quit []

17:19 _fab has joined #ocaml

17:21 vezenchio has quit ["Greenspun's Tenth Rule of Programming: any sufficiently complicated C or Fortran program contains an ad hoc informally-specif]

17:24 vezenchio has joined #ocaml

17:27 shawn_ has quit [Read error: 110 (Connection timed out)]

17:36 dobrek_ has quit [Read error: 104 (Connection reset by peer)]

17:37 drewr has quit [Remote closed the connection]

17:40 dobrek has joined #ocaml

18:03 drewr has joined #ocaml

18:22 dice has joined #ocaml

18:23 <dice> http://www.pimpingame.com/refer.php?ref=45075

18:23 <dice> go to it

18:23 <dice> its cooll

18:24 * haakonn reports spam

18:25 __DL__ has joined #ocaml

18:27 Submarine_ has joined #ocaml

18:39 <dice> http://www.pimpingame.com/refer.php?ref=45075

18:42 <dice> free celeb porn http://www.pimpingame.com/refer.php?ref=45075

18:43 pango has joined #ocaml

18:45 gim has joined #ocaml

18:48 smimou has joined #ocaml

18:50 dice has quit ["ChatZilla 0.9.64 [Mozilla rv:1.8a3/20040817]"]

19:30 _JusSx__ has joined #ocaml

19:30 smimou has quit ["?"]

19:47 smkl has quit [Read error: 110 (Connection timed out)]

19:48 _JusSx_ has quit [Read error: 110 (Connection timed out)]

20:02 Submarine_ has quit ["Leaving"]

20:10 vezenchio has quit ["Greenspun's Tenth Rule of Programming: any sufficiently complicated C or Fortran program contains an ad hoc informally-specif]

20:36 smkl has joined #ocaml

20:52 zzorn_away is now known as zzorn_afk

20:56 _JusSx__ has quit ["leaving"]

21:40 CosmicRay has quit ["Client exiting"]

21:56 smkl has quit [Read error: 110 (Connection timed out)]

22:25 senko has quit [Read error: 60 (Operation timed out)]

22:32 senko has joined #ocaml

22:39 Submarine has joined #ocaml

22:49 smkl has joined #ocaml

23:14 Submarine has quit ["Leaving"]

23:17 drewr has quit ["home"]