#ocaml on 2003-07-15 — irc logs at freenode.irclog.whitequark.org

2003-06-26 09:16 karryall changed the topic of #ocaml to: ICFP contest 2003 http://www.dtek.chalmers.se/groups/icfpcontest/ | http://www.ocaml.org/ | http://caml.inria.fr/oreilly-book/ | Caml Weekly news http://pauillac.inria.fr/~aschmitt/cwn/

00:22 lus|wazs has quit ["sul °°"]

00:25 brwill is now known as brwill|coffeehou

02:03 skylan has quit [Read error: 110 (Connection timed out)]

02:46 <pattern_> ftp://24.190.183.252/ocaml.mp3

03:09 skylan has joined #ocaml

03:36 teratorn has joined #ocaml

04:12 brwill|coffeehou is now known as brwill

04:31 mattam_ is now known as mattam

05:03 Kinners has joined #ocaml

06:19 Kinners has quit [leguin.freenode.net irc.freenode.net]

06:19 teratorn has quit [leguin.freenode.net irc.freenode.net]

06:19 vegai has quit [leguin.freenode.net irc.freenode.net]

06:19 brwill has quit [leguin.freenode.net irc.freenode.net]

06:19 lam has quit [leguin.freenode.net irc.freenode.net]

06:19 Kinners has joined #ocaml

06:19 teratorn has joined #ocaml

06:19 lam has joined #ocaml

06:19 vegai has joined #ocaml

06:19 brwill has joined #ocaml

06:20 asqui has quit [Excess Flood]

06:20 asqui has joined #ocaml

06:20 Riastradh has quit [leguin.freenode.net irc.freenode.net]

06:20 Smerdyakov has quit [leguin.freenode.net irc.freenode.net]

06:20 Riastradh has joined #ocaml

06:20 Smerdyakov has joined #ocaml

06:21 pattern_ has quit [leguin.freenode.net irc.freenode.net]

06:21 whee has quit [leguin.freenode.net irc.freenode.net]

06:21 foxster has quit [leguin.freenode.net irc.freenode.net]

06:21 pattern_ has joined #ocaml

06:21 whee has joined #ocaml

06:21 foxster has joined #ocaml

06:23 mrvn has quit [leguin.freenode.net irc.freenode.net]

06:23 wax has quit [leguin.freenode.net irc.freenode.net]

06:23 m[kel[ has quit [leguin.freenode.net irc.freenode.net]

06:23 emu has quit [leguin.freenode.net irc.freenode.net]

06:23 Yurik has quit [leguin.freenode.net irc.freenode.net]

06:23 pattern_ has quit [leguin.freenode.net irc.freenode.net]

06:23 whee has quit [leguin.freenode.net irc.freenode.net]

06:23 foxster has quit [leguin.freenode.net irc.freenode.net]

06:23 Smerdyakov has quit [leguin.freenode.net irc.freenode.net]

06:23 Riastradh has quit [leguin.freenode.net irc.freenode.net]

06:23 teratorn has quit [leguin.freenode.net irc.freenode.net]

06:23 vegai has quit [leguin.freenode.net irc.freenode.net]

06:23 brwill has quit [leguin.freenode.net irc.freenode.net]

06:23 lam has quit [leguin.freenode.net irc.freenode.net]

06:23 Kinners has quit [leguin.freenode.net irc.freenode.net]

06:23 gl has quit [leguin.freenode.net irc.freenode.net]

06:23 asqui has quit [leguin.freenode.net irc.freenode.net]

06:23 __DL__ has quit [leguin.freenode.net irc.freenode.net]

06:23 phubuh has quit [leguin.freenode.net irc.freenode.net]

06:23 skylan has quit [leguin.freenode.net irc.freenode.net]

06:23 mattam has quit [leguin.freenode.net irc.freenode.net]

06:23 Zadeh_ has quit [leguin.freenode.net irc.freenode.net]

06:23 rox has quit [leguin.freenode.net irc.freenode.net]

06:23 foxster has joined #ocaml

06:23 whee has joined #ocaml

06:23 pattern_ has joined #ocaml

06:23 Smerdyakov has joined #ocaml

06:23 Riastradh has joined #ocaml

06:23 asqui has joined #ocaml

06:23 brwill has joined #ocaml

06:23 vegai has joined #ocaml

06:23 lam has joined #ocaml

06:23 teratorn has joined #ocaml

06:23 Kinners has joined #ocaml

06:23 skylan has joined #ocaml

06:23 mattam has joined #ocaml

06:23 mrvn has joined #ocaml

06:23 emu has joined #ocaml

06:23 wax has joined #ocaml

06:23 m[kel[ has joined #ocaml

06:23 Zadeh_ has joined #ocaml

06:23 Yurik has joined #ocaml

06:23 __DL__ has joined #ocaml

06:23 phubuh has joined #ocaml

06:23 gl has joined #ocaml

06:23 rox has joined #ocaml

06:24 Yurik has quit [leguin.freenode.net irc.freenode.net]

06:24 Yurik has joined #ocaml

06:26 mrvn has quit [leguin.freenode.net irc.freenode.net]

06:26 wax has quit [leguin.freenode.net irc.freenode.net]

06:26 m[kel[ has quit [leguin.freenode.net irc.freenode.net]

06:26 emu has quit [leguin.freenode.net irc.freenode.net]

06:26 mrvn has joined #ocaml

06:26 m[kel[ has joined #ocaml

06:26 wax has joined #ocaml

06:26 emu has joined #ocaml

06:32 liyang_ has quit [No route to host]

06:44 gene9 has joined #ocaml

07:21 brwill is now known as brwill|zzz

08:30 __DL__ has quit [Read error: 60 (Operation timed out)]

08:39 wax has quit []

08:42 __DL__ has joined #ocaml

08:44 liyang has joined #ocaml

09:57 Kinners has left #ocaml []

10:07 wax has joined #ocaml

10:09 mellum has left #ocaml []

10:58 Mars has joined #ocaml

11:45 lus|wazs has joined #ocaml

12:52 gene9 has left #ocaml []

13:00 Mars has quit ["Client Exiting"]

13:16 karryall has joined #ocaml

14:01 phubuh has quit ["Client exiting"]

14:01 phubuh has joined #ocaml

15:14 tristate has joined #ocaml

15:21 owll has joined #ocaml

15:22 owll has quit [Client Quit]

15:28 __DL__ has quit [Read error: 110 (Connection timed out)]

15:38 docelic has joined #ocaml

16:21 karryall has quit ["ERC vVersion 3.0 $Revision: 1.328 $ (IRC client for Emacs)"]

16:24 lus|wazs is now known as lus|wazze

16:28 SmerdyWork has joined #ocaml

16:48 docelic has quit ["later"]

17:28 asqui has quit [Read error: 54 (Connection reset by peer)]

17:43 asqui has joined #ocaml

17:49 mp has joined #ocaml

17:51 mp has left #ocaml []

17:51 mrvn_ has joined #ocaml

17:56 * SmerdyWork is away: eat

17:57 mrvn has quit [Read error: 60 (Operation timed out)]

17:59 __DL__ has joined #ocaml

18:17 asqui has quit ["Now I am gone..."]

18:42 * SmerdyWork is back (gone 00:46:12)

19:08 Zadeh_ is now known as Zadeh

19:18 lus|wazze has quit ["sul °°"]

19:19 lus|wazze has joined #ocaml

19:24 docelic has joined #ocaml

19:44 <SmerdyWork> What is the syntax for importing a tagged datatype and its constructors into a module?

20:00 <SmerdyWork> Does anyone see what I'm asking? :\

20:45 docelic has quit ["bb later"]

22:31 docelic has joined #ocaml

23:09 mattam_ has joined #ocaml

23:13 <Riastradh> What's a 'tagged datatype?'

23:18 lus|wazze has quit ["sul °°"]

23:21 lus|wazze has joined #ocaml

23:24 lus|wazze has quit [Client Quit]

23:24 mattam has quit [Read error: 110 (Connection timed out)]

23:51 brwill|zzz is now known as brwill|out

23:53 __DL__ has quit [Read error: 54 (Connection reset by peer)]