#ocaml on 2009-12-15 — irc logs at freenode.irclog.whitequark.org

2009-12-08 18:14 Alpounet changed the topic of #ocaml to: Discussions about the OCaml programming language | http://caml.inria.fr/ | 3.11.1 out now! Get yours from http://caml.inria.fr/ocaml/release.html

00:00 acatout has quit [farmer.freenode.net irc.freenode.net]

00:00 flux has quit [farmer.freenode.net irc.freenode.net]

00:00 mrvn has quit [farmer.freenode.net irc.freenode.net]

00:00 Camarade_Tux has quit [farmer.freenode.net irc.freenode.net]

00:00 trasz has quit [farmer.freenode.net irc.freenode.net]

00:03 sgnb has quit [farmer.freenode.net irc.freenode.net]

00:03 lutter has quit [farmer.freenode.net irc.freenode.net]

00:03 __marius1_ has quit [farmer.freenode.net irc.freenode.net]

00:03 mattam has quit [farmer.freenode.net irc.freenode.net]

00:03 mbishop has quit [farmer.freenode.net irc.freenode.net]

00:03 infoe_ has quit [farmer.freenode.net irc.freenode.net]

00:03 Asmadeus has quit [farmer.freenode.net irc.freenode.net]

00:03 lanaer has quit [farmer.freenode.net irc.freenode.net]

00:03 diginux has quit [farmer.freenode.net irc.freenode.net]

00:03 Mr_Awesome has quit [farmer.freenode.net irc.freenode.net]

00:03 Leonidas has quit [farmer.freenode.net irc.freenode.net]

00:03 hyperboreean has quit [farmer.freenode.net irc.freenode.net]

00:03 nimred has quit [farmer.freenode.net irc.freenode.net]

00:03 WuJiang has quit [farmer.freenode.net irc.freenode.net]

00:03 ikaros has quit [farmer.freenode.net irc.freenode.net]

00:03 jimmyb2187 has quit [farmer.freenode.net irc.freenode.net]

00:03 mfp has quit [farmer.freenode.net irc.freenode.net]

00:03 infoe has quit [farmer.freenode.net irc.freenode.net]

00:03 Dodek has quit [farmer.freenode.net irc.freenode.net]

00:03 maskd has quit [farmer.freenode.net irc.freenode.net]

00:03 minddog_ has quit [farmer.freenode.net irc.freenode.net]

00:03 _unK has quit [farmer.freenode.net irc.freenode.net]

00:03 julm has quit [farmer.freenode.net irc.freenode.net]

00:03 schme has quit [farmer.freenode.net irc.freenode.net]

00:03 Alpounet has quit [farmer.freenode.net irc.freenode.net]

00:03 shr3kst3r has quit [farmer.freenode.net irc.freenode.net]

00:03 mehdid has quit [farmer.freenode.net irc.freenode.net]

00:03 Boney has quit [farmer.freenode.net irc.freenode.net]

00:03 diml has quit [farmer.freenode.net irc.freenode.net]

00:03 gildor has quit [farmer.freenode.net irc.freenode.net]

00:03 Ori_B has quit [farmer.freenode.net irc.freenode.net]

00:03 hugin has quit [farmer.freenode.net irc.freenode.net]

00:03 M| has quit [farmer.freenode.net irc.freenode.net]

00:03 anders^^ has quit [farmer.freenode.net irc.freenode.net]

00:03 peddie has quit [farmer.freenode.net irc.freenode.net]

00:03 Submarine has quit [farmer.freenode.net irc.freenode.net]

00:03 tarbo2 has quit [farmer.freenode.net irc.freenode.net]

00:03 ozzloy has quit [farmer.freenode.net irc.freenode.net]

00:03 caligula_ has quit [farmer.freenode.net irc.freenode.net]

00:03 zhijie1 has quit [farmer.freenode.net irc.freenode.net]

00:03 tab_ has quit [farmer.freenode.net irc.freenode.net]

00:03 jlouis has quit [farmer.freenode.net irc.freenode.net]

00:03 smimou has quit [farmer.freenode.net irc.freenode.net]

00:03 orbitz has quit [farmer.freenode.net irc.freenode.net]

00:03 wm_eddie has quit [farmer.freenode.net irc.freenode.net]

00:03 willb has quit [farmer.freenode.net irc.freenode.net]

00:03 TaXules has quit [farmer.freenode.net irc.freenode.net]

00:03 EliasAmaral has quit [farmer.freenode.net irc.freenode.net]

00:03 valross has quit [farmer.freenode.net irc.freenode.net]

00:03 _Jedai_3 has quit [farmer.freenode.net irc.freenode.net]

00:03 jonafan has quit [farmer.freenode.net irc.freenode.net]

00:03 thelema has quit [farmer.freenode.net irc.freenode.net]

00:03 demitar has quit [farmer.freenode.net irc.freenode.net]

00:03 hcarty has quit [farmer.freenode.net irc.freenode.net]

00:03 bind_return has quit [farmer.freenode.net irc.freenode.net]

00:03 palomer has quit [farmer.freenode.net irc.freenode.net]

00:03 svenl has quit [farmer.freenode.net irc.freenode.net]

00:03 deavid has quit [farmer.freenode.net irc.freenode.net]

00:03 fremo_ has quit [farmer.freenode.net irc.freenode.net]

00:03 thieusoai has quit [farmer.freenode.net irc.freenode.net]

00:03 Amorphous has quit [farmer.freenode.net irc.freenode.net]

00:03 pad has quit [farmer.freenode.net irc.freenode.net]

00:03 struktured has quit [farmer.freenode.net irc.freenode.net]

00:03 mal`` has quit [farmer.freenode.net irc.freenode.net]

00:03 BigJ has quit [farmer.freenode.net irc.freenode.net]

00:03 Pepe_ has quit [farmer.freenode.net irc.freenode.net]

00:03 ertai has quit [farmer.freenode.net irc.freenode.net]

00:03 brendan has quit [farmer.freenode.net irc.freenode.net]

00:03 r0bby has quit [SendQ exceeded]

00:03 srcerer has quit [SendQ exceeded]

00:03 bzzbzz has quit [Remote closed the connection]

00:03 thelema has joined #ocaml

00:03 pad` has joined #ocaml

00:03 xian has quit [Success]

00:03 pad` has quit [Nick collision]

00:03 thieusoai has joined #ocaml

00:03 EliasAmaral has joined #ocaml

00:03 valross has joined #ocaml

00:03 minddog_ has joined #ocaml

00:03 ikaros has joined #ocaml

00:03 Submarine has joined #ocaml

00:03 Amorphous has joined #ocaml

00:03 pad` has joined #ocaml

00:03 pad has joined #ocaml

00:03 Alpounet has joined #ocaml

00:03 _unK has joined #ocaml

00:03 lutter has joined #ocaml

00:03 tmaedaZ has joined #ocaml

00:03 shr3kst3r has joined #ocaml

00:03 tarbo2 has joined #ocaml

00:03 ozzloy has joined #ocaml

00:03 caligula_ has joined #ocaml

00:03 zhijie1 has joined #ocaml

00:03 gdmfsob has joined #ocaml

00:03 __marius1_ has joined #ocaml

00:03 flux has joined #ocaml

00:03 struktured has joined #ocaml

00:03 mattam has joined #ocaml

00:03 patronus has joined #ocaml

00:03 _Jedai_3 has joined #ocaml

00:03 noj has joined #ocaml

00:03 safire has joined #ocaml

00:03 tonyIII has joined #ocaml

00:03 tab_ has joined #ocaml

00:03 trasz has joined #ocaml

00:03 mehdid has joined #ocaml

00:03 julm has joined #ocaml

00:03 det has joined #ocaml

00:03 schme has joined #ocaml

00:03 mal`` has joined #ocaml

00:03 jlouis has joined #ocaml

00:03 mbishop has joined #ocaml

00:03 Boney has joined #ocaml

00:03 smimou has joined #ocaml

00:03 jimmyb2187 has joined #ocaml

00:03 mrvn has joined #ocaml

00:03 Camarade_Tux has joined #ocaml

00:03 Leonidas has joined #ocaml

00:03 Mr_Awesome has joined #ocaml

00:03 hyperboreean has joined #ocaml

00:03 nimred has joined #ocaml

00:03 lanaer has joined #ocaml

00:03 infoe_ has joined #ocaml

00:03 WuJiang has joined #ocaml

00:03 sgnb has joined #ocaml

00:03 Asmadeus has joined #ocaml

00:03 diginux has joined #ocaml

00:03 acatout has joined #ocaml

00:03 orbitz has joined #ocaml

00:03 jonafan has joined #ocaml

00:03 Dodek has joined #ocaml

00:03 demitar has joined #ocaml

00:03 mfp has joined #ocaml

00:03 hcarty has joined #ocaml

00:03 infoe has joined #ocaml

00:03 BigJ has joined #ocaml

00:03 bind_return has joined #ocaml

00:03 Pepe_ has joined #ocaml

00:03 ertai has joined #ocaml

00:03 brendan has joined #ocaml

00:03 maskd has joined #ocaml

00:03 wm_eddie has joined #ocaml

00:03 svenl has joined #ocaml

00:03 fremo_ has joined #ocaml

00:03 deavid has joined #ocaml

00:03 Ori_B has joined #ocaml

00:03 M| has joined #ocaml

00:03 anders^^ has joined #ocaml

00:03 TaXules has joined #ocaml

00:03 gildor has joined #ocaml

00:03 hugin has joined #ocaml

00:03 diml has joined #ocaml

00:03 peddie has joined #ocaml

00:03 willb has joined #ocaml

00:03 palomer has joined #ocaml

00:03 r0bby has joined #ocaml

00:03 xian_ has joined #ocaml

00:03 bzzbzz has joined #ocaml

00:03 pad` has quit [Read error: 131 (Connection reset by peer)]

00:03 srcerer has joined #ocaml

00:11 ikaros has quit ["Leave the magic to Houdini"]

00:31 johnnowak has joined #ocaml

00:32 johnnowak has quit [Client Quit]

00:32 munga has joined #ocaml

00:32 johnnowak has joined #ocaml

00:33 _unK has quit [Remote closed the connection]

00:54 patronus has quit [Read error: 60 (Operation timed out)]

00:58 patronus has joined #ocaml

01:00 pad has quit [Read error: 104 (Connection reset by peer)]

01:02 noj_ has joined #ocaml

01:02 noj has quit [Success]

01:14 xian_ has quit [farmer.freenode.net irc.freenode.net]

01:14 julm has quit [farmer.freenode.net irc.freenode.net]

01:14 minddog_ has quit [farmer.freenode.net irc.freenode.net]

01:14 schme has quit [farmer.freenode.net irc.freenode.net]

01:14 johnnowak has quit [farmer.freenode.net irc.freenode.net]

01:14 diml has quit [farmer.freenode.net irc.freenode.net]

01:14 gildor has quit [farmer.freenode.net irc.freenode.net]

01:14 mehdid has quit [farmer.freenode.net irc.freenode.net]

01:14 shr3kst3r has quit [farmer.freenode.net irc.freenode.net]

01:14 Ori_B has quit [farmer.freenode.net irc.freenode.net]

01:14 hugin has quit [farmer.freenode.net irc.freenode.net]

01:14 M| has quit [farmer.freenode.net irc.freenode.net]

01:14 Boney has quit [farmer.freenode.net irc.freenode.net]

01:14 anders^^ has quit [farmer.freenode.net irc.freenode.net]

01:14 peddie has quit [farmer.freenode.net irc.freenode.net]

01:14 Alpounet has quit [farmer.freenode.net irc.freenode.net]

01:14 patronus has quit [farmer.freenode.net irc.freenode.net]

01:14 tab_ has quit [farmer.freenode.net irc.freenode.net]

01:14 caligula_ has quit [farmer.freenode.net irc.freenode.net]

01:14 ozzloy has quit [farmer.freenode.net irc.freenode.net]

01:14 wm_eddie has quit [farmer.freenode.net irc.freenode.net]

01:14 zhijie1 has quit [farmer.freenode.net irc.freenode.net]

01:14 willb has quit [farmer.freenode.net irc.freenode.net]

01:14 Submarine has quit [farmer.freenode.net irc.freenode.net]

01:14 smimou has quit [farmer.freenode.net irc.freenode.net]

01:14 TaXules has quit [farmer.freenode.net irc.freenode.net]

01:14 orbitz has quit [farmer.freenode.net irc.freenode.net]

01:14 jlouis has quit [farmer.freenode.net irc.freenode.net]

01:14 tarbo2 has quit [farmer.freenode.net irc.freenode.net]

01:18 Ori_B has joined #ocaml

01:18 caligula_ has joined #ocaml

01:20 Boney has joined #ocaml

01:20 hugin has joined #ocaml

01:20 shr3kst3r has joined #ocaml

01:20 jlouis has joined #ocaml

01:20 M| has joined #ocaml

01:24 Associat0r has joined #ocaml

01:25 EliasAmaral has quit [Read error: 60 (Operation timed out)]

01:26 thieusoai has quit ["leaving"]

01:28 munga has quit [Read error: 113 (No route to host)]

01:32 orbitz has joined #ocaml

01:32 ozzloy has joined #ocaml

01:32 xian_ has joined #ocaml

01:32 minddog_ has joined #ocaml

01:32 julm has joined #ocaml

01:32 schme has joined #ocaml

01:35 Deformative has joined #ocaml

01:40 EliasAmaral has joined #ocaml

01:41 mehdid has joined #ocaml

01:41 patronus has joined #ocaml

01:41 Submarine has joined #ocaml

01:41 Alpounet has joined #ocaml

01:41 tarbo2 has joined #ocaml

01:41 zhijie1 has joined #ocaml

01:41 tab_ has joined #ocaml

01:41 smimou has joined #ocaml

01:41 wm_eddie has joined #ocaml

01:41 willb has joined #ocaml

01:41 anders^^ has joined #ocaml

01:41 TaXules has joined #ocaml

01:41 gildor has joined #ocaml

01:41 diml has joined #ocaml

01:41 peddie has joined #ocaml

01:49 patronus_ has joined #ocaml

01:50 diml has quit [farmer.freenode.net irc.freenode.net]

01:50 gildor has quit [farmer.freenode.net irc.freenode.net]

01:50 mehdid has quit [farmer.freenode.net irc.freenode.net]

01:50 anders^^ has quit [farmer.freenode.net irc.freenode.net]

01:50 peddie has quit [farmer.freenode.net irc.freenode.net]

01:50 Alpounet has quit [farmer.freenode.net irc.freenode.net]

01:50 TaXules has quit [farmer.freenode.net irc.freenode.net]

01:50 tab_ has quit [farmer.freenode.net irc.freenode.net]

01:50 Submarine has quit [farmer.freenode.net irc.freenode.net]

01:50 wm_eddie has quit [farmer.freenode.net irc.freenode.net]

01:50 willb has quit [farmer.freenode.net irc.freenode.net]

01:50 smimou has quit [farmer.freenode.net irc.freenode.net]

01:50 zhijie1 has quit [farmer.freenode.net irc.freenode.net]

01:50 tarbo2 has quit [farmer.freenode.net irc.freenode.net]

01:50 patronus has quit [farmer.freenode.net irc.freenode.net]

01:51 mehdid has joined #ocaml

01:51 patronus has joined #ocaml

01:51 Submarine has joined #ocaml

01:51 Alpounet has joined #ocaml

01:51 tarbo2 has joined #ocaml

01:51 zhijie1 has joined #ocaml

01:51 tab_ has joined #ocaml

01:51 smimou has joined #ocaml

01:51 wm_eddie has joined #ocaml

01:51 willb has joined #ocaml

01:51 anders^^ has joined #ocaml

01:51 TaXules has joined #ocaml

01:51 gildor has joined #ocaml

01:51 diml has joined #ocaml

01:51 peddie has joined #ocaml

01:52 patronus has quit [Connection reset by peer]

01:57 diml has quit [farmer.freenode.net irc.freenode.net]

01:57 gildor has quit [farmer.freenode.net irc.freenode.net]

01:57 mehdid has quit [farmer.freenode.net irc.freenode.net]

01:57 anders^^ has quit [farmer.freenode.net irc.freenode.net]

01:57 peddie has quit [farmer.freenode.net irc.freenode.net]

01:57 Alpounet has quit [farmer.freenode.net irc.freenode.net]

01:57 TaXules has quit [farmer.freenode.net irc.freenode.net]

01:57 tab_ has quit [farmer.freenode.net irc.freenode.net]

01:57 Submarine has quit [farmer.freenode.net irc.freenode.net]

01:57 wm_eddie has quit [farmer.freenode.net irc.freenode.net]

01:57 willb has quit [farmer.freenode.net irc.freenode.net]

01:57 smimou has quit [farmer.freenode.net irc.freenode.net]

01:57 zhijie1 has quit [farmer.freenode.net irc.freenode.net]

01:57 tarbo2 has quit [farmer.freenode.net irc.freenode.net]

01:57 mehdid has joined #ocaml

02:00 TaXules has joined #ocaml

02:01 Submarine has joined #ocaml

02:01 Alpounet has joined #ocaml

02:01 tarbo2 has joined #ocaml

02:01 zhijie1 has joined #ocaml

02:01 tab_ has joined #ocaml

02:01 smimou has joined #ocaml

02:01 wm_eddie has joined #ocaml

02:01 willb has joined #ocaml

02:01 anders^^ has joined #ocaml

02:01 gildor has joined #ocaml

02:01 diml has joined #ocaml

02:01 peddie has joined #ocaml

02:02 minddog_ has quit ["Lost terminal"]

02:10 diml has quit [farmer.freenode.net irc.freenode.net]

02:10 gildor has quit [farmer.freenode.net irc.freenode.net]

02:10 anders^^ has quit [farmer.freenode.net irc.freenode.net]

02:10 peddie has quit [farmer.freenode.net irc.freenode.net]

02:10 Alpounet has quit [farmer.freenode.net irc.freenode.net]

02:10 tab_ has quit [farmer.freenode.net irc.freenode.net]

02:10 Submarine has quit [farmer.freenode.net irc.freenode.net]

02:10 wm_eddie has quit [farmer.freenode.net irc.freenode.net]

02:10 willb has quit [farmer.freenode.net irc.freenode.net]

02:10 smimou has quit [farmer.freenode.net irc.freenode.net]

02:10 zhijie1 has quit [farmer.freenode.net irc.freenode.net]

02:10 tarbo2 has quit [farmer.freenode.net irc.freenode.net]

02:10 EliasAmaral has quit [farmer.freenode.net irc.freenode.net]

02:10 julm has quit [farmer.freenode.net irc.freenode.net]

02:10 xian_ has quit [farmer.freenode.net irc.freenode.net]

02:10 schme has quit [farmer.freenode.net irc.freenode.net]

02:10 ozzloy has quit [farmer.freenode.net irc.freenode.net]

02:10 orbitz has quit [farmer.freenode.net irc.freenode.net]

02:10 jlouis has quit [farmer.freenode.net irc.freenode.net]

02:10 bzzbzz has quit [farmer.freenode.net irc.freenode.net]

02:10 tmaedaZ has quit [farmer.freenode.net irc.freenode.net]

02:10 noj_ has quit [farmer.freenode.net irc.freenode.net]

02:10 tonyIII has quit [farmer.freenode.net irc.freenode.net]

02:10 TaXules has quit [farmer.freenode.net irc.freenode.net]

02:10 mehdid has quit [farmer.freenode.net irc.freenode.net]

02:10 shr3kst3r has quit [farmer.freenode.net irc.freenode.net]

02:10 hugin has quit [farmer.freenode.net irc.freenode.net]

02:10 Boney has quit [farmer.freenode.net irc.freenode.net]

02:10 det has quit [farmer.freenode.net irc.freenode.net]

02:10 safire has quit [farmer.freenode.net irc.freenode.net]

02:10 gdmfsob has quit [farmer.freenode.net irc.freenode.net]

02:10 acatout has quit [farmer.freenode.net irc.freenode.net]

02:10 mrvn has quit [farmer.freenode.net irc.freenode.net]

02:10 trasz has quit [farmer.freenode.net irc.freenode.net]

02:10 flux has quit [farmer.freenode.net irc.freenode.net]

02:10 Camarade_Tux has quit [farmer.freenode.net irc.freenode.net]

02:10 sgnb has quit [farmer.freenode.net irc.freenode.net]

02:10 __marius1_ has quit [farmer.freenode.net irc.freenode.net]

02:10 WuJiang has quit [farmer.freenode.net irc.freenode.net]

02:10 Leonidas has quit [farmer.freenode.net irc.freenode.net]

02:10 mattam has quit [farmer.freenode.net irc.freenode.net]

02:10 lutter has quit [farmer.freenode.net irc.freenode.net]

02:10 mbishop has quit [farmer.freenode.net irc.freenode.net]

02:10 Asmadeus has quit [farmer.freenode.net irc.freenode.net]

02:10 infoe_ has quit [farmer.freenode.net irc.freenode.net]

02:10 lanaer has quit [farmer.freenode.net irc.freenode.net]

02:10 nimred has quit [farmer.freenode.net irc.freenode.net]

02:10 hyperboreean has quit [farmer.freenode.net irc.freenode.net]

02:10 Mr_Awesome has quit [farmer.freenode.net irc.freenode.net]

02:10 diginux has quit [farmer.freenode.net irc.freenode.net]

02:10 patronus_ has quit [farmer.freenode.net irc.freenode.net]

02:10 Associat0r has quit [farmer.freenode.net irc.freenode.net]

02:10 caligula_ has quit [farmer.freenode.net irc.freenode.net]

02:10 Ori_B has quit [farmer.freenode.net irc.freenode.net]

02:10 Deformative has quit [farmer.freenode.net irc.freenode.net]

02:10 infoe has quit [farmer.freenode.net irc.freenode.net]

02:10 jimmyb2187 has quit [farmer.freenode.net irc.freenode.net]

02:10 mfp has quit [farmer.freenode.net irc.freenode.net]

02:10 maskd has quit [farmer.freenode.net irc.freenode.net]

02:10 Dodek has quit [farmer.freenode.net irc.freenode.net]

02:10 M| has quit [farmer.freenode.net irc.freenode.net]

02:10 r0bby has quit [farmer.freenode.net irc.freenode.net]

02:10 hcarty has quit [farmer.freenode.net irc.freenode.net]

02:10 bind_return has quit [farmer.freenode.net irc.freenode.net]

02:10 valross has quit [farmer.freenode.net irc.freenode.net]

02:10 palomer has quit [farmer.freenode.net irc.freenode.net]

02:10 jonafan has quit [farmer.freenode.net irc.freenode.net]

02:10 _Jedai_3 has quit [farmer.freenode.net irc.freenode.net]

02:10 svenl has quit [farmer.freenode.net irc.freenode.net]

02:10 deavid has quit [farmer.freenode.net irc.freenode.net]

02:10 fremo_ has quit [farmer.freenode.net irc.freenode.net]

02:10 demitar has quit [farmer.freenode.net irc.freenode.net]

02:10 brendan has quit [farmer.freenode.net irc.freenode.net]

02:10 Pepe_ has quit [farmer.freenode.net irc.freenode.net]

02:10 mal`` has quit [farmer.freenode.net irc.freenode.net]

02:10 struktured has quit [farmer.freenode.net irc.freenode.net]

02:10 ertai has quit [farmer.freenode.net irc.freenode.net]

02:10 BigJ has quit [farmer.freenode.net irc.freenode.net]

02:10 Amorphous has quit [farmer.freenode.net irc.freenode.net]

02:10 thelema has quit [Success]

02:10 thelema_ has joined #ocaml

02:10 TaXules has joined #ocaml

02:10 mehdid has joined #ocaml

02:10 patronus_ has joined #ocaml

02:10 EliasAmaral has joined #ocaml

02:10 Deformative has joined #ocaml

02:10 schme has joined #ocaml

02:10 julm has joined #ocaml

02:10 xian_ has joined #ocaml

02:10 ozzloy has joined #ocaml

02:10 orbitz has joined #ocaml

02:10 Associat0r has joined #ocaml

02:10 M| has joined #ocaml

02:10 jlouis has joined #ocaml

02:10 shr3kst3r has joined #ocaml

02:10 hugin has joined #ocaml

02:10 Boney has joined #ocaml

02:10 caligula_ has joined #ocaml

02:10 Ori_B has joined #ocaml

02:10 noj_ has joined #ocaml

02:10 bzzbzz has joined #ocaml

02:10 r0bby has joined #ocaml

02:10 valross has joined #ocaml

02:10 Amorphous has joined #ocaml

02:10 lutter has joined #ocaml

02:10 tmaedaZ has joined #ocaml

02:10 gdmfsob has joined #ocaml

02:10 __marius1_ has joined #ocaml

02:10 flux has joined #ocaml

02:10 struktured has joined #ocaml

02:10 mattam has joined #ocaml

02:10 _Jedai_3 has joined #ocaml

02:10 safire has joined #ocaml

02:10 tonyIII has joined #ocaml

02:10 trasz has joined #ocaml

02:10 det has joined #ocaml

02:10 mal`` has joined #ocaml

02:10 mbishop has joined #ocaml

02:10 jimmyb2187 has joined #ocaml

02:10 mrvn has joined #ocaml

02:10 Camarade_Tux has joined #ocaml

02:10 Leonidas has joined #ocaml

02:10 Mr_Awesome has joined #ocaml

02:10 hyperboreean has joined #ocaml

02:10 nimred has joined #ocaml

02:10 lanaer has joined #ocaml

02:10 infoe_ has joined #ocaml

02:10 WuJiang has joined #ocaml

02:10 sgnb has joined #ocaml

02:10 Asmadeus has joined #ocaml

02:10 diginux has joined #ocaml

02:10 acatout has joined #ocaml

02:10 jonafan has joined #ocaml

02:10 Dodek has joined #ocaml

02:10 demitar has joined #ocaml

02:10 mfp has joined #ocaml

02:10 hcarty has joined #ocaml

02:10 infoe has joined #ocaml

02:10 BigJ has joined #ocaml

02:10 bind_return has joined #ocaml

02:10 Pepe_ has joined #ocaml

02:10 ertai has joined #ocaml

02:10 brendan has joined #ocaml

02:10 maskd has joined #ocaml

02:10 svenl has joined #ocaml

02:10 fremo_ has joined #ocaml

02:10 deavid has joined #ocaml

02:10 palomer has joined #ocaml

02:10 tmaedaZ has quit [Read error: 131 (Connection reset by peer)]

02:11 wm_eddie has joined #ocaml

02:12 anders^^ has joined #ocaml

02:13 tmaedaZ has joined #ocaml

02:14 peddie has joined #ocaml

02:14 Submarine has joined #ocaml

02:14 Alpounet has joined #ocaml

02:14 tarbo2 has joined #ocaml

02:14 zhijie1 has joined #ocaml

02:14 tab_ has joined #ocaml

02:14 smimou has joined #ocaml

02:14 willb has joined #ocaml

02:14 gildor has joined #ocaml

02:14 diml has joined #ocaml

02:22 diml has quit [farmer.freenode.net irc.freenode.net]

02:22 gildor has quit [farmer.freenode.net irc.freenode.net]

02:27 Alpounet has quit [farmer.freenode.net irc.freenode.net]

02:27 tab_ has quit [farmer.freenode.net irc.freenode.net]

02:27 Submarine has quit [farmer.freenode.net irc.freenode.net]

02:27 willb has quit [farmer.freenode.net irc.freenode.net]

02:27 smimou has quit [farmer.freenode.net irc.freenode.net]

02:27 peddie has quit [farmer.freenode.net irc.freenode.net]

02:27 zhijie1 has quit [farmer.freenode.net irc.freenode.net]

02:27 tarbo2 has quit [farmer.freenode.net irc.freenode.net]

02:27 thelema_ has quit [farmer.freenode.net irc.freenode.net]

02:27 ozzloy has quit [farmer.freenode.net irc.freenode.net]

02:27 xian_ has quit [farmer.freenode.net irc.freenode.net]

02:27 julm has quit [farmer.freenode.net irc.freenode.net]

02:27 orbitz has quit [farmer.freenode.net irc.freenode.net]

02:27 schme has quit [farmer.freenode.net irc.freenode.net]

02:27 EliasAmaral has quit [farmer.freenode.net irc.freenode.net]

02:27 bzzbzz has quit [farmer.freenode.net irc.freenode.net]

02:27 jlouis has quit [farmer.freenode.net irc.freenode.net]

02:27 anders^^ has quit [farmer.freenode.net irc.freenode.net]

02:27 tonyIII has quit [farmer.freenode.net irc.freenode.net]

02:27 noj_ has quit [farmer.freenode.net irc.freenode.net]

02:27 mehdid has quit [farmer.freenode.net irc.freenode.net]

02:27 shr3kst3r has quit [farmer.freenode.net irc.freenode.net]

02:27 det has quit [farmer.freenode.net irc.freenode.net]

02:27 safire has quit [farmer.freenode.net irc.freenode.net]

02:27 hugin has quit [farmer.freenode.net irc.freenode.net]

02:27 Boney has quit [farmer.freenode.net irc.freenode.net]

02:27 gdmfsob has quit [farmer.freenode.net irc.freenode.net]

02:27 acatout has quit [farmer.freenode.net irc.freenode.net]

02:27 TaXules has quit [farmer.freenode.net irc.freenode.net]

02:27 mrvn has quit [farmer.freenode.net irc.freenode.net]

02:27 trasz has quit [farmer.freenode.net irc.freenode.net]

02:27 flux has quit [farmer.freenode.net irc.freenode.net]

02:27 Camarade_Tux has quit [farmer.freenode.net irc.freenode.net]

02:27 sgnb has quit [farmer.freenode.net irc.freenode.net]

02:27 __marius1_ has quit [farmer.freenode.net irc.freenode.net]

02:27 WuJiang has quit [farmer.freenode.net irc.freenode.net]

02:27 Leonidas has quit [farmer.freenode.net irc.freenode.net]

02:27 mattam has quit [farmer.freenode.net irc.freenode.net]

02:27 lutter has quit [farmer.freenode.net irc.freenode.net]

02:27 mbishop has quit [farmer.freenode.net irc.freenode.net]

02:27 Asmadeus has quit [farmer.freenode.net irc.freenode.net]

02:27 infoe_ has quit [farmer.freenode.net irc.freenode.net]

02:27 lanaer has quit [farmer.freenode.net irc.freenode.net]

02:27 nimred has quit [farmer.freenode.net irc.freenode.net]

02:27 hyperboreean has quit [farmer.freenode.net irc.freenode.net]

02:27 Mr_Awesome has quit [farmer.freenode.net irc.freenode.net]

02:27 diginux has quit [farmer.freenode.net irc.freenode.net]

02:27 wm_eddie has quit [farmer.freenode.net irc.freenode.net]

02:27 caligula_ has quit [farmer.freenode.net irc.freenode.net]

02:27 Ori_B has quit [farmer.freenode.net irc.freenode.net]

02:27 Deformative has quit [farmer.freenode.net irc.freenode.net]

02:27 Associat0r has quit [farmer.freenode.net irc.freenode.net]

02:27 infoe has quit [farmer.freenode.net irc.freenode.net]

02:27 jimmyb2187 has quit [farmer.freenode.net irc.freenode.net]

02:27 mfp has quit [farmer.freenode.net irc.freenode.net]

02:27 patronus_ has quit [farmer.freenode.net irc.freenode.net]

02:27 maskd has quit [farmer.freenode.net irc.freenode.net]

02:27 Dodek has quit [farmer.freenode.net irc.freenode.net]

02:27 hcarty has quit [farmer.freenode.net irc.freenode.net]

02:27 bind_return has quit [farmer.freenode.net irc.freenode.net]

02:27 valross has quit [farmer.freenode.net irc.freenode.net]

02:27 palomer has quit [farmer.freenode.net irc.freenode.net]

02:27 jonafan has quit [farmer.freenode.net irc.freenode.net]

02:27 M| has quit [farmer.freenode.net irc.freenode.net]

02:27 _Jedai_3 has quit [farmer.freenode.net irc.freenode.net]

02:27 svenl has quit [farmer.freenode.net irc.freenode.net]

02:27 deavid has quit [farmer.freenode.net irc.freenode.net]

02:27 fremo_ has quit [farmer.freenode.net irc.freenode.net]

02:27 demitar has quit [farmer.freenode.net irc.freenode.net]

02:27 r0bby has quit [farmer.freenode.net irc.freenode.net]

02:27 tmaedaZ has quit [farmer.freenode.net irc.freenode.net]

02:27 brendan has quit [farmer.freenode.net irc.freenode.net]

02:27 Pepe_ has quit [farmer.freenode.net irc.freenode.net]

02:27 mal`` has quit [farmer.freenode.net irc.freenode.net]

02:27 struktured has quit [farmer.freenode.net irc.freenode.net]

02:27 ertai has quit [farmer.freenode.net irc.freenode.net]

02:27 BigJ has quit [farmer.freenode.net irc.freenode.net]

02:27 Amorphous has quit [farmer.freenode.net irc.freenode.net]

02:27 thrasibule has joined #ocaml

02:27 diml has joined #ocaml

02:27 gildor has joined #ocaml

02:27 willb has joined #ocaml

02:27 smimou has joined #ocaml

02:27 tab_ has joined #ocaml

02:27 zhijie1 has joined #ocaml

02:27 tarbo2 has joined #ocaml

02:27 Alpounet has joined #ocaml

02:27 Submarine has joined #ocaml

02:27 peddie has joined #ocaml

02:27 tmaedaZ has joined #ocaml

02:27 anders^^ has joined #ocaml

02:27 wm_eddie has joined #ocaml

02:27 thelema_ has joined #ocaml

02:27 TaXules has joined #ocaml

02:27 mehdid has joined #ocaml

02:27 patronus_ has joined #ocaml

02:27 EliasAmaral has joined #ocaml

02:27 Deformative has joined #ocaml

02:27 schme has joined #ocaml

02:27 julm has joined #ocaml

02:27 xian_ has joined #ocaml

02:27 ozzloy has joined #ocaml

02:27 orbitz has joined #ocaml

02:27 Associat0r has joined #ocaml

02:27 M| has joined #ocaml

02:27 jlouis has joined #ocaml

02:27 shr3kst3r has joined #ocaml

02:27 hugin has joined #ocaml

02:27 Boney has joined #ocaml

02:27 caligula_ has joined #ocaml

02:27 Ori_B has joined #ocaml

02:27 noj_ has joined #ocaml

02:27 bzzbzz has joined #ocaml

02:27 r0bby has joined #ocaml

02:27 valross has joined #ocaml

02:27 Amorphous has joined #ocaml

02:27 lutter has joined #ocaml

02:27 gdmfsob has joined #ocaml

02:27 __marius1_ has joined #ocaml

02:27 flux has joined #ocaml

02:27 struktured has joined #ocaml

02:27 mattam has joined #ocaml

02:27 _Jedai_3 has joined #ocaml

02:27 safire has joined #ocaml

02:27 tonyIII has joined #ocaml

02:27 trasz has joined #ocaml

02:27 det has joined #ocaml

02:27 mal`` has joined #ocaml

02:27 mbishop has joined #ocaml

02:27 jimmyb2187 has joined #ocaml

02:27 mrvn has joined #ocaml

02:27 Camarade_Tux has joined #ocaml

02:27 Leonidas has joined #ocaml

02:27 Mr_Awesome has joined #ocaml

02:27 hyperboreean has joined #ocaml

02:27 nimred has joined #ocaml

02:27 lanaer has joined #ocaml

02:27 infoe_ has joined #ocaml

02:27 WuJiang has joined #ocaml

02:27 sgnb has joined #ocaml

02:27 Asmadeus has joined #ocaml

02:27 diginux has joined #ocaml

02:27 acatout has joined #ocaml

02:27 jonafan has joined #ocaml

02:27 Dodek has joined #ocaml

02:27 demitar has joined #ocaml

02:27 mfp has joined #ocaml

02:27 hcarty has joined #ocaml

02:27 infoe has joined #ocaml

02:27 BigJ has joined #ocaml

02:27 bind_return has joined #ocaml

02:27 Pepe_ has joined #ocaml

02:27 ertai has joined #ocaml

02:27 brendan has joined #ocaml

02:27 maskd has joined #ocaml

02:27 svenl has joined #ocaml

02:27 fremo_ has joined #ocaml

02:27 deavid has joined #ocaml

02:27 palomer has joined #ocaml

02:27 gildor has quit [farmer.freenode.net irc.freenode.net]

02:27 diml has quit [farmer.freenode.net irc.freenode.net]

02:27 Alpounet has quit [farmer.freenode.net irc.freenode.net]

02:27 tab_ has quit [farmer.freenode.net irc.freenode.net]

02:27 zhijie1 has quit [farmer.freenode.net irc.freenode.net]

02:27 willb has quit [farmer.freenode.net irc.freenode.net]

02:27 Submarine has quit [farmer.freenode.net irc.freenode.net]

02:27 smimou has quit [farmer.freenode.net irc.freenode.net]

02:27 peddie has quit [farmer.freenode.net irc.freenode.net]

02:27 tarbo2 has quit [farmer.freenode.net irc.freenode.net]

02:27 anders^^ has quit [Connection reset by peer]

02:27 peddie has joined #ocaml

02:28 anders^^ has joined #ocaml

02:28 Submarine has joined #ocaml

02:28 Alpounet has joined #ocaml

02:28 tarbo2 has joined #ocaml

02:28 zhijie1 has joined #ocaml

02:28 tab_ has joined #ocaml

02:28 smimou has joined #ocaml

02:28 willb has joined #ocaml

02:28 gildor has joined #ocaml

02:28 diml has joined #ocaml

02:34 diml has quit [farmer.freenode.net irc.freenode.net]

02:34 gildor has quit [farmer.freenode.net irc.freenode.net]

02:34 Alpounet has quit [farmer.freenode.net irc.freenode.net]

02:34 tab_ has quit [farmer.freenode.net irc.freenode.net]

02:34 Submarine has quit [farmer.freenode.net irc.freenode.net]

02:34 willb has quit [farmer.freenode.net irc.freenode.net]

02:34 smimou has quit [farmer.freenode.net irc.freenode.net]

02:34 zhijie1 has quit [farmer.freenode.net irc.freenode.net]

02:34 tarbo2 has quit [farmer.freenode.net irc.freenode.net]

02:34 anders^^ has quit [farmer.freenode.net irc.freenode.net]

02:38 anders^^ has joined #ocaml

02:38 Submarine has joined #ocaml

02:38 Alpounet has joined #ocaml

02:38 tarbo2 has joined #ocaml

02:38 zhijie1 has joined #ocaml

02:38 tab_ has joined #ocaml

02:38 smimou has joined #ocaml

02:38 willb has joined #ocaml

02:38 gildor has joined #ocaml

02:38 diml has joined #ocaml

02:50 diml has quit [farmer.freenode.net irc.freenode.net]

02:50 gildor has quit [farmer.freenode.net irc.freenode.net]

02:50 Alpounet has quit [farmer.freenode.net irc.freenode.net]

02:50 tab_ has quit [farmer.freenode.net irc.freenode.net]

02:50 Submarine has quit [farmer.freenode.net irc.freenode.net]

02:50 willb has quit [farmer.freenode.net irc.freenode.net]

02:50 smimou has quit [farmer.freenode.net irc.freenode.net]

02:50 zhijie1 has quit [farmer.freenode.net irc.freenode.net]

02:50 tarbo2 has quit [farmer.freenode.net irc.freenode.net]

02:50 anders^^ has quit [farmer.freenode.net irc.freenode.net]

02:50 thelema_ has quit [farmer.freenode.net irc.freenode.net]

02:50 ozzloy has quit [farmer.freenode.net irc.freenode.net]

02:50 xian_ has quit [farmer.freenode.net irc.freenode.net]

02:50 julm has quit [farmer.freenode.net irc.freenode.net]

02:50 orbitz has quit [farmer.freenode.net irc.freenode.net]

02:50 schme has quit [farmer.freenode.net irc.freenode.net]

02:50 EliasAmaral has quit [farmer.freenode.net irc.freenode.net]

02:51 anders^^ has joined #ocaml

02:51 Submarine has joined #ocaml

02:51 Alpounet has joined #ocaml

02:51 tarbo2 has joined #ocaml

02:51 zhijie1 has joined #ocaml

02:51 tab_ has joined #ocaml

02:51 smimou has joined #ocaml

02:51 willb has joined #ocaml

02:51 gildor has joined #ocaml

02:51 diml has joined #ocaml

02:55 thelema_ has joined #ocaml

02:55 EliasAmaral has joined #ocaml

02:55 orbitz has joined #ocaml

02:55 ozzloy has joined #ocaml

02:55 xian_ has joined #ocaml

02:55 julm has joined #ocaml

02:55 schme has joined #ocaml

03:00 thelema_ has quit [farmer.freenode.net irc.freenode.net]

03:00 julm has quit [farmer.freenode.net irc.freenode.net]

03:00 xian_ has quit [farmer.freenode.net irc.freenode.net]

03:00 schme has quit [farmer.freenode.net irc.freenode.net]

03:00 ozzloy has quit [farmer.freenode.net irc.freenode.net]

03:00 orbitz has quit [farmer.freenode.net irc.freenode.net]

03:00 EliasAmaral has quit [farmer.freenode.net irc.freenode.net]

03:00 bzzbzz has quit [farmer.freenode.net irc.freenode.net]

03:00 jlouis has quit [farmer.freenode.net irc.freenode.net]

03:00 diml has quit [farmer.freenode.net irc.freenode.net]

03:00 gildor has quit [farmer.freenode.net irc.freenode.net]

03:00 Alpounet has quit [farmer.freenode.net irc.freenode.net]

03:03 tab_ has quit [farmer.freenode.net irc.freenode.net]

03:03 Submarine has quit [farmer.freenode.net irc.freenode.net]

03:03 willb has quit [farmer.freenode.net irc.freenode.net]

03:03 smimou has quit [farmer.freenode.net irc.freenode.net]

03:03 zhijie1 has quit [farmer.freenode.net irc.freenode.net]

03:03 tarbo2 has quit [farmer.freenode.net irc.freenode.net]

03:03 anders^^ has quit [farmer.freenode.net irc.freenode.net]

03:03 tonyIII has quit [farmer.freenode.net irc.freenode.net]

03:03 noj_ has quit [farmer.freenode.net irc.freenode.net]

03:03 mehdid has quit [farmer.freenode.net irc.freenode.net]

03:03 shr3kst3r has quit [farmer.freenode.net irc.freenode.net]

03:03 det has quit [farmer.freenode.net irc.freenode.net]

03:03 safire has quit [farmer.freenode.net irc.freenode.net]

03:03 hugin has quit [farmer.freenode.net irc.freenode.net]

03:03 Boney has quit [farmer.freenode.net irc.freenode.net]

03:03 gdmfsob has quit [farmer.freenode.net irc.freenode.net]

03:03 acatout has quit [farmer.freenode.net irc.freenode.net]

03:03 TaXules has quit [farmer.freenode.net irc.freenode.net]

03:03 mrvn has quit [farmer.freenode.net irc.freenode.net]

03:03 trasz has quit [farmer.freenode.net irc.freenode.net]

03:03 flux has quit [farmer.freenode.net irc.freenode.net]

03:03 Camarade_Tux has quit [farmer.freenode.net irc.freenode.net]

03:03 sgnb has quit [farmer.freenode.net irc.freenode.net]

03:03 peddie has quit [farmer.freenode.net irc.freenode.net]

03:03 __marius1_ has quit [farmer.freenode.net irc.freenode.net]

03:03 WuJiang has quit [farmer.freenode.net irc.freenode.net]

03:03 Leonidas has quit [farmer.freenode.net irc.freenode.net]

03:03 mattam has quit [farmer.freenode.net irc.freenode.net]

03:03 lutter has quit [farmer.freenode.net irc.freenode.net]

03:03 mbishop has quit [farmer.freenode.net irc.freenode.net]

03:03 Asmadeus has quit [farmer.freenode.net irc.freenode.net]

03:03 infoe_ has quit [farmer.freenode.net irc.freenode.net]

03:03 lanaer has quit [farmer.freenode.net irc.freenode.net]

03:03 nimred has quit [farmer.freenode.net irc.freenode.net]

03:03 hyperboreean has quit [farmer.freenode.net irc.freenode.net]

03:03 Mr_Awesome has quit [farmer.freenode.net irc.freenode.net]

03:03 diginux has quit [farmer.freenode.net irc.freenode.net]

03:03 caligula_ has quit [farmer.freenode.net irc.freenode.net]

03:03 Ori_B has quit [farmer.freenode.net irc.freenode.net]

03:03 thrasibule has quit [farmer.freenode.net irc.freenode.net]

03:03 wm_eddie has quit [farmer.freenode.net irc.freenode.net]

03:03 Deformative has quit [farmer.freenode.net irc.freenode.net]

03:03 Associat0r has quit [farmer.freenode.net irc.freenode.net]

03:03 infoe has quit [farmer.freenode.net irc.freenode.net]

03:03 jimmyb2187 has quit [farmer.freenode.net irc.freenode.net]

03:03 mfp has quit [farmer.freenode.net irc.freenode.net]

03:03 patronus_ has quit [farmer.freenode.net irc.freenode.net]

03:03 maskd has quit [farmer.freenode.net irc.freenode.net]

03:03 Dodek has quit [farmer.freenode.net irc.freenode.net]

03:03 hcarty has quit [farmer.freenode.net irc.freenode.net]

03:03 bind_return has quit [farmer.freenode.net irc.freenode.net]

03:03 valross has quit [farmer.freenode.net irc.freenode.net]

03:03 palomer has quit [farmer.freenode.net irc.freenode.net]

03:03 jonafan has quit [farmer.freenode.net irc.freenode.net]

03:03 M| has quit [farmer.freenode.net irc.freenode.net]

03:03 _Jedai_3 has quit [farmer.freenode.net irc.freenode.net]

03:03 svenl has quit [farmer.freenode.net irc.freenode.net]

03:03 deavid has quit [farmer.freenode.net irc.freenode.net]

03:03 fremo_ has quit [farmer.freenode.net irc.freenode.net]

03:03 demitar has quit [farmer.freenode.net irc.freenode.net]

03:03 r0bby has quit [farmer.freenode.net irc.freenode.net]

03:03 brendan has quit [farmer.freenode.net irc.freenode.net]

03:03 Pepe_ has quit [farmer.freenode.net irc.freenode.net]

03:03 mal`` has quit [farmer.freenode.net irc.freenode.net]

03:03 struktured has quit [farmer.freenode.net irc.freenode.net]

03:03 ertai has quit [farmer.freenode.net irc.freenode.net]

03:03 BigJ has quit [farmer.freenode.net irc.freenode.net]

03:03 Amorphous has quit [farmer.freenode.net irc.freenode.net]

03:03 tmaedaZ has quit [farmer.freenode.net irc.freenode.net]

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

03:03 prigaux_ has joined #ocaml

03:03 deavidsedice has joined #ocaml

03:03 jonafan_ has joined #ocaml

03:03 schme has joined #ocaml

03:03 julm has joined #ocaml

03:03 xian_ has joined #ocaml

03:03 ozzloy has joined #ocaml

03:03 orbitz has joined #ocaml

03:03 EliasAmaral has joined #ocaml

03:03 thelema_ has joined #ocaml

03:03 diml has joined #ocaml

03:03 gildor has joined #ocaml

03:03 willb has joined #ocaml

03:03 smimou has joined #ocaml

03:03 tab_ has joined #ocaml

03:03 zhijie1 has joined #ocaml

03:03 tarbo2 has joined #ocaml

03:03 Alpounet has joined #ocaml

03:03 Submarine has joined #ocaml

03:03 anders^^ has joined #ocaml

03:03 peddie has joined #ocaml

03:03 thrasibule has joined #ocaml

03:03 tmaedaZ has joined #ocaml

03:03 wm_eddie has joined #ocaml

03:03 TaXules has joined #ocaml

03:03 mehdid has joined #ocaml

03:03 patronus_ has joined #ocaml

03:03 Deformative has joined #ocaml

03:03 Associat0r has joined #ocaml

03:03 jlouis has joined #ocaml

03:03 shr3kst3r has joined #ocaml

03:03 hugin has joined #ocaml

03:03 Boney has joined #ocaml

03:03 caligula_ has joined #ocaml

03:03 Ori_B has joined #ocaml

03:03 noj_ has joined #ocaml

03:03 bzzbzz has joined #ocaml

03:03 Amorphous has joined #ocaml

03:03 lutter has joined #ocaml

03:03 gdmfsob has joined #ocaml

03:03 __marius1_ has joined #ocaml

03:03 flux has joined #ocaml

03:03 struktured has joined #ocaml

03:03 mattam has joined #ocaml

03:03 safire has joined #ocaml

03:03 tonyIII has joined #ocaml

03:03 trasz has joined #ocaml

03:03 det has joined #ocaml

03:03 mal`` has joined #ocaml

03:03 mbishop has joined #ocaml

03:03 jimmyb2187 has joined #ocaml

03:03 mrvn has joined #ocaml

03:03 Camarade_Tux has joined #ocaml

03:03 Leonidas has joined #ocaml

03:03 Mr_Awesome has joined #ocaml

03:03 hyperboreean has joined #ocaml

03:03 nimred has joined #ocaml

03:03 lanaer has joined #ocaml

03:03 infoe_ has joined #ocaml

03:03 WuJiang has joined #ocaml

03:03 sgnb has joined #ocaml

03:03 Asmadeus has joined #ocaml

03:03 diginux has joined #ocaml

03:03 acatout has joined #ocaml

03:03 mfp has joined #ocaml

03:03 infoe has joined #ocaml

03:03 BigJ has joined #ocaml

03:03 Pepe_ has joined #ocaml

03:03 ertai has joined #ocaml

03:03 brendan has joined #ocaml

03:03 hcarty has joined #ocaml

03:03 jonafan has joined #ocaml

03:03 Dodek has joined #ocaml

03:03 demitar has joined #ocaml

03:03 bind_return has joined #ocaml

03:03 maskd has joined #ocaml

03:03 fremo_ has joined #ocaml

03:03 svenl has joined #ocaml

03:03 fremo_ has quit [Remote closed the connection]

03:03 M| has joined #ocaml

03:03 palomer has joined #ocaml

03:03 valross has joined #ocaml

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

03:03 _Jedai_3 has joined #ocaml

03:07 fremo_ has joined #ocaml

03:08 Associat0r has quit [Read error: 104 (Connection reset by peer)]

03:17 Dodek has quit [farmer.freenode.net irc.freenode.net]

03:17 maskd has quit [farmer.freenode.net irc.freenode.net]

03:17 valross has quit [farmer.freenode.net irc.freenode.net]

03:17 svenl has quit [farmer.freenode.net irc.freenode.net]

03:17 bind_return has quit [farmer.freenode.net irc.freenode.net]

03:17 demitar has quit [farmer.freenode.net irc.freenode.net]

03:17 M| has quit [farmer.freenode.net irc.freenode.net]

03:17 hcarty has quit [farmer.freenode.net irc.freenode.net]

03:17 thelema_ has quit [farmer.freenode.net irc.freenode.net]

03:17 ozzloy has quit [farmer.freenode.net irc.freenode.net]

03:17 xian_ has quit [farmer.freenode.net irc.freenode.net]

03:23 julm has quit [farmer.freenode.net irc.freenode.net]

03:23 EliasAmaral has quit [farmer.freenode.net irc.freenode.net]

03:23 orbitz has quit [farmer.freenode.net irc.freenode.net]

03:23 schme has quit [farmer.freenode.net irc.freenode.net]

03:23 fremo_ has quit [farmer.freenode.net irc.freenode.net]

03:23 bzzbzz has quit [farmer.freenode.net irc.freenode.net]

03:23 jlouis has quit [farmer.freenode.net irc.freenode.net]

03:23 gildor has quit [farmer.freenode.net irc.freenode.net]

03:23 diml has quit [farmer.freenode.net irc.freenode.net]

03:23 Alpounet has quit [farmer.freenode.net irc.freenode.net]

03:23 tab_ has quit [farmer.freenode.net irc.freenode.net]

03:23 zhijie1 has quit [farmer.freenode.net irc.freenode.net]

03:23 anders^^ has quit [farmer.freenode.net irc.freenode.net]

03:23 willb has quit [farmer.freenode.net irc.freenode.net]

03:23 Submarine has quit [farmer.freenode.net irc.freenode.net]

03:23 smimou has quit [farmer.freenode.net irc.freenode.net]

03:23 tarbo2 has quit [farmer.freenode.net irc.freenode.net]

03:23 _Jedai_3 has quit [farmer.freenode.net irc.freenode.net]

03:23 tonyIII has quit [farmer.freenode.net irc.freenode.net]

03:23 noj_ has quit [farmer.freenode.net irc.freenode.net]

03:23 mehdid has quit [farmer.freenode.net irc.freenode.net]

03:23 shr3kst3r has quit [farmer.freenode.net irc.freenode.net]

03:23 det has quit [farmer.freenode.net irc.freenode.net]

03:23 safire has quit [farmer.freenode.net irc.freenode.net]

03:23 hugin has quit [farmer.freenode.net irc.freenode.net]

03:23 Boney has quit [farmer.freenode.net irc.freenode.net]

03:23 gdmfsob has quit [farmer.freenode.net irc.freenode.net]

03:23 acatout has quit [farmer.freenode.net irc.freenode.net]

03:23 TaXules has quit [farmer.freenode.net irc.freenode.net]

03:23 deavidsedice has quit [farmer.freenode.net irc.freenode.net]

03:23 mrvn has quit [farmer.freenode.net irc.freenode.net]

03:23 trasz has quit [farmer.freenode.net irc.freenode.net]

03:23 flux has quit [farmer.freenode.net irc.freenode.net]

03:23 Camarade_Tux has quit [farmer.freenode.net irc.freenode.net]

03:23 sgnb has quit [farmer.freenode.net irc.freenode.net]

03:23 __marius1_ has quit [farmer.freenode.net irc.freenode.net]

03:23 WuJiang has quit [farmer.freenode.net irc.freenode.net]

03:23 Leonidas has quit [farmer.freenode.net irc.freenode.net]

03:23 mattam has quit [farmer.freenode.net irc.freenode.net]

03:23 prigaux_ has quit [farmer.freenode.net irc.freenode.net]

03:23 lutter has quit [farmer.freenode.net irc.freenode.net]

03:23 mbishop has quit [farmer.freenode.net irc.freenode.net]

03:23 Asmadeus has quit [farmer.freenode.net irc.freenode.net]

03:23 infoe_ has quit [farmer.freenode.net irc.freenode.net]

03:23 lanaer has quit [farmer.freenode.net irc.freenode.net]

03:23 nimred has quit [farmer.freenode.net irc.freenode.net]

03:23 hyperboreean has quit [farmer.freenode.net irc.freenode.net]

03:23 peddie has quit [farmer.freenode.net irc.freenode.net]

03:23 Mr_Awesome has quit [farmer.freenode.net irc.freenode.net]

03:23 diginux has quit [farmer.freenode.net irc.freenode.net]

03:23 palomer has quit [farmer.freenode.net irc.freenode.net]

03:23 caligula_ has quit [farmer.freenode.net irc.freenode.net]

03:23 Ori_B has quit [farmer.freenode.net irc.freenode.net]

03:23 thrasibule has quit [farmer.freenode.net irc.freenode.net]

03:23 wm_eddie has quit [farmer.freenode.net irc.freenode.net]

03:23 jonafan_ has quit [farmer.freenode.net irc.freenode.net]

03:23 Deformative has quit [farmer.freenode.net irc.freenode.net]

03:23 infoe has quit [farmer.freenode.net irc.freenode.net]

03:23 jimmyb2187 has quit [farmer.freenode.net irc.freenode.net]

03:23 mfp has quit [farmer.freenode.net irc.freenode.net]

03:23 patronus_ has quit [farmer.freenode.net irc.freenode.net]

03:23 brendan has quit [farmer.freenode.net irc.freenode.net]

03:23 Pepe_ has quit [farmer.freenode.net irc.freenode.net]

03:23 mal`` has quit [farmer.freenode.net irc.freenode.net]

03:23 struktured has quit [farmer.freenode.net irc.freenode.net]

03:23 ertai has quit [farmer.freenode.net irc.freenode.net]

03:23 BigJ has quit [farmer.freenode.net irc.freenode.net]

03:23 Amorphous has quit [farmer.freenode.net irc.freenode.net]

03:23 tmaedaZ has quit [farmer.freenode.net irc.freenode.net]

03:23 rumbleca has quit [Remote closed the connection]

03:23 haelix has quit [Read error: 104 (Connection reset by peer)]

03:23 srcerer has quit [SendQ exceeded]

03:23 rumbleca_ has joined #ocaml

03:23 srcerer_ has joined #ocaml

03:23 fremo_ has joined #ocaml

03:23 _Jedai_3 has joined #ocaml

03:23 valross has joined #ocaml

03:23 palomer has joined #ocaml

03:23 M| has joined #ocaml

03:23 svenl has joined #ocaml

03:23 maskd has joined #ocaml

03:23 bind_return has joined #ocaml

03:23 demitar has joined #ocaml

03:23 Dodek has joined #ocaml

03:23 hcarty has joined #ocaml

03:23 prigaux_ has joined #ocaml

03:23 deavidsedice has joined #ocaml

03:23 jonafan_ has joined #ocaml

03:23 schme has joined #ocaml

03:23 julm has joined #ocaml

03:23 xian_ has joined #ocaml

03:23 ozzloy has joined #ocaml

03:23 orbitz has joined #ocaml

03:23 EliasAmaral has joined #ocaml

03:23 thelema_ has joined #ocaml

03:23 diml has joined #ocaml

03:23 gildor has joined #ocaml

03:23 willb has joined #ocaml

03:23 smimou has joined #ocaml

03:23 tab_ has joined #ocaml

03:23 zhijie1 has joined #ocaml

03:23 tarbo2 has joined #ocaml

03:23 Alpounet has joined #ocaml

03:23 Submarine has joined #ocaml

03:23 anders^^ has joined #ocaml

03:23 peddie has joined #ocaml

03:23 thrasibule has joined #ocaml

03:23 tmaedaZ has joined #ocaml

03:23 wm_eddie has joined #ocaml

03:23 TaXules has joined #ocaml

03:23 mehdid has joined #ocaml

03:23 patronus_ has joined #ocaml

03:23 Deformative has joined #ocaml

03:23 jlouis has joined #ocaml

03:23 shr3kst3r has joined #ocaml

03:23 hugin has joined #ocaml

03:23 Boney has joined #ocaml

03:23 caligula_ has joined #ocaml

03:23 Ori_B has joined #ocaml

03:23 noj_ has joined #ocaml

03:23 bzzbzz has joined #ocaml

03:23 Amorphous has joined #ocaml

03:23 lutter has joined #ocaml

03:23 gdmfsob has joined #ocaml

03:23 __marius1_ has joined #ocaml

03:23 flux has joined #ocaml

03:23 struktured has joined #ocaml

03:23 mattam has joined #ocaml

03:23 safire has joined #ocaml

03:23 tonyIII has joined #ocaml

03:23 trasz has joined #ocaml

03:23 det has joined #ocaml

03:23 mal`` has joined #ocaml

03:23 mbishop has joined #ocaml

03:23 jimmyb2187 has joined #ocaml

03:23 mrvn has joined #ocaml

03:23 Camarade_Tux has joined #ocaml

03:23 Leonidas has joined #ocaml

03:23 Mr_Awesome has joined #ocaml

03:23 hyperboreean has joined #ocaml

03:23 nimred has joined #ocaml

03:23 lanaer has joined #ocaml

03:23 infoe_ has joined #ocaml

03:23 WuJiang has joined #ocaml

03:23 sgnb has joined #ocaml

03:23 Asmadeus has joined #ocaml

03:23 diginux has joined #ocaml

03:23 acatout has joined #ocaml

03:23 mfp has joined #ocaml

03:23 infoe has joined #ocaml

03:23 BigJ has joined #ocaml

03:23 Pepe_ has joined #ocaml

03:23 ertai has joined #ocaml

03:23 brendan has joined #ocaml

03:23 haelix has joined #ocaml

03:43 caligula__ has joined #ocaml

03:48 valross has quit [Remote closed the connection]

03:48 gildor has quit [farmer.freenode.net irc.freenode.net]

03:48 diml has quit [farmer.freenode.net irc.freenode.net]

03:48 Alpounet has quit [farmer.freenode.net irc.freenode.net]

03:48 tab_ has quit [farmer.freenode.net irc.freenode.net]

03:48 zhijie1 has quit [farmer.freenode.net irc.freenode.net]

03:48 anders^^ has quit [farmer.freenode.net irc.freenode.net]

03:48 willb has quit [farmer.freenode.net irc.freenode.net]

03:48 Submarine has quit [farmer.freenode.net irc.freenode.net]

03:48 smimou has quit [farmer.freenode.net irc.freenode.net]

03:48 tarbo2 has quit [farmer.freenode.net irc.freenode.net]

03:56 caligula_ has quit [Read error: 110 (Connection timed out)]

04:02 anders^^ has joined #ocaml

04:02 Submarine has joined #ocaml

04:02 Alpounet has joined #ocaml

04:02 tarbo2 has joined #ocaml

04:02 zhijie1 has joined #ocaml

04:02 tab_ has joined #ocaml

04:02 smimou has joined #ocaml

04:02 willb has joined #ocaml

04:02 gildor has joined #ocaml

04:02 diml has joined #ocaml

04:08 diml has quit [farmer.freenode.net irc.freenode.net]

04:08 gildor has quit [farmer.freenode.net irc.freenode.net]

04:08 Alpounet has quit [farmer.freenode.net irc.freenode.net]

04:08 tab_ has quit [farmer.freenode.net irc.freenode.net]

04:08 Submarine has quit [farmer.freenode.net irc.freenode.net]

04:08 willb has quit [farmer.freenode.net irc.freenode.net]

04:08 smimou has quit [farmer.freenode.net irc.freenode.net]

04:08 zhijie1 has quit [farmer.freenode.net irc.freenode.net]

04:08 tarbo2 has quit [farmer.freenode.net irc.freenode.net]

04:08 anders^^ has quit [farmer.freenode.net irc.freenode.net]

04:13 gildor has joined #ocaml

04:20 dark_light has joined #ocaml

04:27 anders^^ has joined #ocaml

04:27 Submarine has joined #ocaml

04:27 Alpounet has joined #ocaml

04:27 tarbo2 has joined #ocaml

04:27 zhijie1 has joined #ocaml

04:27 tab_ has joined #ocaml

04:27 smimou has joined #ocaml

04:27 willb has joined #ocaml

04:27 diml has joined #ocaml

04:35 orbitz has quit [Client Quit]

04:36 orbitz has joined #ocaml

04:38 EliasAmaral has quit [Network is unreachable]

04:47 diml has quit [farmer.freenode.net irc.freenode.net]

04:47 Alpounet has quit [farmer.freenode.net irc.freenode.net]

04:47 tab_ has quit [farmer.freenode.net irc.freenode.net]

04:47 Submarine has quit [farmer.freenode.net irc.freenode.net]

04:47 willb has quit [farmer.freenode.net irc.freenode.net]

04:47 smimou has quit [farmer.freenode.net irc.freenode.net]

04:47 zhijie1 has quit [farmer.freenode.net irc.freenode.net]

04:47 tarbo2 has quit [farmer.freenode.net irc.freenode.net]

04:47 anders^^ has quit [farmer.freenode.net irc.freenode.net]

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

04:50 gdmfsob has joined #ocaml

04:55 anders^^ has joined #ocaml

04:55 Submarine has joined #ocaml

04:55 Alpounet has joined #ocaml

04:55 tarbo2 has joined #ocaml

04:55 zhijie1 has joined #ocaml

04:55 tab_ has joined #ocaml

04:55 smimou has joined #ocaml

04:55 willb has joined #ocaml

04:55 diml has joined #ocaml

05:04 maskd has quit [farmer.freenode.net irc.freenode.net]

05:04 Dodek has quit [farmer.freenode.net irc.freenode.net]

05:04 gildor has quit [farmer.freenode.net irc.freenode.net]

05:04 haelix has quit [farmer.freenode.net irc.freenode.net]

05:04 bind_return has quit [farmer.freenode.net irc.freenode.net]

05:04 svenl has quit [farmer.freenode.net irc.freenode.net]

05:04 demitar has quit [farmer.freenode.net irc.freenode.net]

05:04 diml has quit [farmer.freenode.net irc.freenode.net]

05:04 Alpounet has quit [farmer.freenode.net irc.freenode.net]

05:05 tab_ has quit [farmer.freenode.net irc.freenode.net]

05:05 Submarine has quit [farmer.freenode.net irc.freenode.net]

05:05 willb has quit [farmer.freenode.net irc.freenode.net]

05:05 smimou has quit [farmer.freenode.net irc.freenode.net]

05:05 zhijie1 has quit [farmer.freenode.net irc.freenode.net]

05:05 tarbo2 has quit [farmer.freenode.net irc.freenode.net]

05:05 anders^^ has quit [farmer.freenode.net irc.freenode.net]

05:05 orbitz has quit [farmer.freenode.net irc.freenode.net]

05:05 thelema_ has quit [farmer.freenode.net irc.freenode.net]

05:05 hcarty has quit [farmer.freenode.net irc.freenode.net]

05:05 rumbleca_ has quit [farmer.freenode.net irc.freenode.net]

05:05 ozzloy has quit [farmer.freenode.net irc.freenode.net]

05:10 xian_ has quit [farmer.freenode.net irc.freenode.net]

05:10 M| has quit [farmer.freenode.net irc.freenode.net]

05:10 julm has quit [farmer.freenode.net irc.freenode.net]

05:10 schme has quit [farmer.freenode.net irc.freenode.net]

05:10 caligula__ has quit [farmer.freenode.net irc.freenode.net]

05:10 bzzbzz has quit [farmer.freenode.net irc.freenode.net]

05:10 fremo_ has quit [farmer.freenode.net irc.freenode.net]

05:10 jlouis has quit [farmer.freenode.net irc.freenode.net]

05:10 _Jedai_3 has quit [farmer.freenode.net irc.freenode.net]

05:10 tonyIII has quit [farmer.freenode.net irc.freenode.net]

05:10 noj_ has quit [farmer.freenode.net irc.freenode.net]

05:10 mehdid has quit [farmer.freenode.net irc.freenode.net]

05:10 shr3kst3r has quit [farmer.freenode.net irc.freenode.net]

05:10 det has quit [farmer.freenode.net irc.freenode.net]

05:10 safire has quit [farmer.freenode.net irc.freenode.net]

05:10 hugin has quit [farmer.freenode.net irc.freenode.net]

05:10 srcerer_ has quit [farmer.freenode.net irc.freenode.net]

05:10 Boney has quit [farmer.freenode.net irc.freenode.net]

05:10 acatout has quit [farmer.freenode.net irc.freenode.net]

05:10 TaXules has quit [farmer.freenode.net irc.freenode.net]

05:10 deavidsedice has quit [farmer.freenode.net irc.freenode.net]

05:10 mrvn has quit [farmer.freenode.net irc.freenode.net]

05:10 trasz has quit [farmer.freenode.net irc.freenode.net]

05:10 flux has quit [farmer.freenode.net irc.freenode.net]

05:10 Camarade_Tux has quit [farmer.freenode.net irc.freenode.net]

05:10 sgnb has quit [farmer.freenode.net irc.freenode.net]

05:10 gdmfsob has quit [farmer.freenode.net irc.freenode.net]

05:10 dark_light has quit [farmer.freenode.net irc.freenode.net]

05:10 __marius1_ has quit [farmer.freenode.net irc.freenode.net]

05:10 WuJiang has quit [farmer.freenode.net irc.freenode.net]

05:10 Leonidas has quit [farmer.freenode.net irc.freenode.net]

05:10 mattam has quit [farmer.freenode.net irc.freenode.net]

05:10 prigaux_ has quit [farmer.freenode.net irc.freenode.net]

05:10 lutter has quit [farmer.freenode.net irc.freenode.net]

05:10 mbishop has quit [farmer.freenode.net irc.freenode.net]

05:10 Asmadeus has quit [farmer.freenode.net irc.freenode.net]

05:10 infoe_ has quit [farmer.freenode.net irc.freenode.net]

05:10 lanaer has quit [farmer.freenode.net irc.freenode.net]

05:10 nimred has quit [farmer.freenode.net irc.freenode.net]

05:10 hyperboreean has quit [farmer.freenode.net irc.freenode.net]

05:10 peddie has quit [farmer.freenode.net irc.freenode.net]

05:10 Mr_Awesome has quit [farmer.freenode.net irc.freenode.net]

05:10 diginux has quit [farmer.freenode.net irc.freenode.net]

05:10 palomer has quit [farmer.freenode.net irc.freenode.net]

05:10 Ori_B has quit [farmer.freenode.net irc.freenode.net]

05:10 thrasibule has quit [farmer.freenode.net irc.freenode.net]

05:10 wm_eddie has quit [farmer.freenode.net irc.freenode.net]

05:10 jonafan_ has quit [farmer.freenode.net irc.freenode.net]

05:10 Deformative has quit [farmer.freenode.net irc.freenode.net]

05:10 infoe has quit [farmer.freenode.net irc.freenode.net]

05:10 jimmyb2187 has quit [farmer.freenode.net irc.freenode.net]

05:10 mfp has quit [farmer.freenode.net irc.freenode.net]

05:10 patronus_ has quit [farmer.freenode.net irc.freenode.net]

05:10 brendan has quit [farmer.freenode.net irc.freenode.net]

05:10 Pepe_ has quit [farmer.freenode.net irc.freenode.net]

05:10 mal`` has quit [farmer.freenode.net irc.freenode.net]

05:10 struktured has quit [farmer.freenode.net irc.freenode.net]

05:10 ertai has quit [farmer.freenode.net irc.freenode.net]

05:10 BigJ has quit [farmer.freenode.net irc.freenode.net]

05:10 Amorphous has quit [farmer.freenode.net irc.freenode.net]

05:10 tmaedaZ has quit [farmer.freenode.net irc.freenode.net]

05:10 bacam has quit [Read error: 104 (Connection reset by peer)]

05:10 rlarson85 has quit [Remote closed the connection]

05:10 jknick has quit [Success]

05:10 rlarson85 has joined #ocaml

05:10 bacam has joined #ocaml

05:10 jknick_ has joined #ocaml

05:10 diml has joined #ocaml

05:10 willb has joined #ocaml

05:10 smimou has joined #ocaml

05:10 tab_ has joined #ocaml

05:10 zhijie1 has joined #ocaml

05:10 tarbo2 has joined #ocaml

05:10 Alpounet has joined #ocaml

05:10 Submarine has joined #ocaml

05:10 anders^^ has joined #ocaml

05:10 gdmfsob has joined #ocaml

05:10 orbitz has joined #ocaml

05:10 dark_light has joined #ocaml

05:10 gildor has joined #ocaml

05:10 caligula__ has joined #ocaml

05:10 haelix has joined #ocaml

05:10 rumbleca_ has joined #ocaml

05:10 srcerer_ has joined #ocaml

05:10 fremo_ has joined #ocaml

05:10 palomer has joined #ocaml

05:10 M| has joined #ocaml

05:10 svenl has joined #ocaml

05:10 maskd has joined #ocaml

05:10 bind_return has joined #ocaml

05:10 demitar has joined #ocaml

05:10 Dodek has joined #ocaml

05:10 hcarty has joined #ocaml

05:10 prigaux_ has joined #ocaml

05:10 deavidsedice has joined #ocaml

05:10 jonafan_ has joined #ocaml

05:10 schme has joined #ocaml

05:10 julm has joined #ocaml

05:10 xian_ has joined #ocaml

05:10 ozzloy has joined #ocaml

05:10 thelema_ has joined #ocaml

05:10 peddie has joined #ocaml

05:10 thrasibule has joined #ocaml

05:10 tmaedaZ has joined #ocaml

05:10 wm_eddie has joined #ocaml

05:10 TaXules has joined #ocaml

05:10 mehdid has joined #ocaml

05:10 patronus_ has joined #ocaml

05:10 Deformative has joined #ocaml

05:10 jlouis has joined #ocaml

05:10 shr3kst3r has joined #ocaml

05:10 hugin has joined #ocaml

05:10 Boney has joined #ocaml

05:10 Ori_B has joined #ocaml

05:10 noj_ has joined #ocaml

05:10 bzzbzz has joined #ocaml

05:10 Amorphous has joined #ocaml

05:10 lutter has joined #ocaml

05:10 __marius1_ has joined #ocaml

05:10 flux has joined #ocaml

05:10 struktured has joined #ocaml

05:10 mattam has joined #ocaml

05:10 safire has joined #ocaml

05:10 tonyIII has joined #ocaml

05:10 trasz has joined #ocaml

05:10 det has joined #ocaml

05:10 mal`` has joined #ocaml

05:10 mbishop has joined #ocaml

05:10 jimmyb2187 has joined #ocaml

05:10 mrvn has joined #ocaml

05:10 Camarade_Tux has joined #ocaml

05:10 Leonidas has joined #ocaml

05:10 Mr_Awesome has joined #ocaml

05:10 hyperboreean has joined #ocaml

05:10 nimred has joined #ocaml

05:10 lanaer has joined #ocaml

05:10 infoe_ has joined #ocaml

05:10 WuJiang has joined #ocaml

05:10 sgnb has joined #ocaml

05:10 Asmadeus has joined #ocaml

05:10 diginux has joined #ocaml

05:10 acatout has joined #ocaml

05:10 mfp has joined #ocaml

05:10 infoe has joined #ocaml

05:10 BigJ has joined #ocaml

05:10 Pepe_ has joined #ocaml

05:10 ertai has joined #ocaml

05:10 brendan has joined #ocaml

05:10 _Jedai_3 has joined #ocaml

05:10 _Jedai_3 has quit [Excess Flood]

05:11 _Jedai_3 has joined #ocaml

05:36 maskd has quit [farmer.freenode.net irc.freenode.net]

05:36 Dodek has quit [farmer.freenode.net irc.freenode.net]

05:36 gildor has quit [farmer.freenode.net irc.freenode.net]

05:36 bind_return has quit [farmer.freenode.net irc.freenode.net]

05:36 haelix has quit [farmer.freenode.net irc.freenode.net]

05:36 svenl has quit [farmer.freenode.net irc.freenode.net]

05:36 demitar has quit [farmer.freenode.net irc.freenode.net]

05:36 diml has quit [farmer.freenode.net irc.freenode.net]

05:43 Alpounet has quit [farmer.freenode.net irc.freenode.net]

05:43 tab_ has quit [farmer.freenode.net irc.freenode.net]

05:43 zhijie1 has quit [farmer.freenode.net irc.freenode.net]

05:43 anders^^ has quit [farmer.freenode.net irc.freenode.net]

05:43 willb has quit [farmer.freenode.net irc.freenode.net]

05:43 Submarine has quit [farmer.freenode.net irc.freenode.net]

05:43 smimou has quit [farmer.freenode.net irc.freenode.net]

05:43 tarbo2 has quit [farmer.freenode.net irc.freenode.net]

05:43 thelema_ has quit [farmer.freenode.net irc.freenode.net]

05:43 hcarty has quit [farmer.freenode.net irc.freenode.net]

05:43 rumbleca_ has quit [farmer.freenode.net irc.freenode.net]

05:43 ozzloy has quit [farmer.freenode.net irc.freenode.net]

05:43 xian_ has quit [farmer.freenode.net irc.freenode.net]

05:43 M| has quit [farmer.freenode.net irc.freenode.net]

05:43 julm has quit [farmer.freenode.net irc.freenode.net]

05:43 schme has quit [farmer.freenode.net irc.freenode.net]

05:43 orbitz has quit [farmer.freenode.net irc.freenode.net]

05:43 _Jedai_3 has quit [farmer.freenode.net irc.freenode.net]

05:43 caligula__ has quit [farmer.freenode.net irc.freenode.net]

05:43 jknick_ has quit [farmer.freenode.net irc.freenode.net]

05:43 bzzbzz has quit [farmer.freenode.net irc.freenode.net]

05:43 fremo_ has quit [farmer.freenode.net irc.freenode.net]

05:43 jlouis has quit [farmer.freenode.net irc.freenode.net]

05:43 tonyIII has quit [farmer.freenode.net irc.freenode.net]

05:43 noj_ has quit [farmer.freenode.net irc.freenode.net]

05:43 mehdid has quit [farmer.freenode.net irc.freenode.net]

05:43 shr3kst3r has quit [farmer.freenode.net irc.freenode.net]

05:43 det has quit [farmer.freenode.net irc.freenode.net]

05:43 safire has quit [farmer.freenode.net irc.freenode.net]

05:43 hugin has quit [farmer.freenode.net irc.freenode.net]

05:43 srcerer_ has quit [farmer.freenode.net irc.freenode.net]

05:43 Boney has quit [farmer.freenode.net irc.freenode.net]

05:43 acatout has quit [farmer.freenode.net irc.freenode.net]

05:43 TaXules has quit [farmer.freenode.net irc.freenode.net]

05:43 deavidsedice has quit [farmer.freenode.net irc.freenode.net]

05:43 mrvn has quit [farmer.freenode.net irc.freenode.net]

05:43 trasz has quit [farmer.freenode.net irc.freenode.net]

05:43 flux has quit [farmer.freenode.net irc.freenode.net]

05:43 Camarade_Tux has quit [farmer.freenode.net irc.freenode.net]

05:43 sgnb has quit [farmer.freenode.net irc.freenode.net]

05:43 __marius1_ has quit [farmer.freenode.net irc.freenode.net]

05:43 dark_light has quit [farmer.freenode.net irc.freenode.net]

05:43 WuJiang has quit [farmer.freenode.net irc.freenode.net]

05:43 Leonidas has quit [farmer.freenode.net irc.freenode.net]

05:43 mattam has quit [farmer.freenode.net irc.freenode.net]

05:43 prigaux_ has quit [farmer.freenode.net irc.freenode.net]

05:43 lutter has quit [farmer.freenode.net irc.freenode.net]

05:43 mbishop has quit [farmer.freenode.net irc.freenode.net]

05:43 Asmadeus has quit [farmer.freenode.net irc.freenode.net]

05:43 gdmfsob has quit [farmer.freenode.net irc.freenode.net]

05:43 infoe_ has quit [farmer.freenode.net irc.freenode.net]

05:43 lanaer has quit [farmer.freenode.net irc.freenode.net]

05:43 nimred has quit [farmer.freenode.net irc.freenode.net]

05:43 hyperboreean has quit [farmer.freenode.net irc.freenode.net]

05:43 peddie has quit [farmer.freenode.net irc.freenode.net]

05:43 Mr_Awesome has quit [farmer.freenode.net irc.freenode.net]

05:43 diginux has quit [farmer.freenode.net irc.freenode.net]

05:43 bacam has quit [farmer.freenode.net irc.freenode.net]

05:43 palomer has quit [farmer.freenode.net irc.freenode.net]

05:43 Ori_B has quit [farmer.freenode.net irc.freenode.net]

05:43 thrasibule has quit [farmer.freenode.net irc.freenode.net]

05:43 wm_eddie has quit [farmer.freenode.net irc.freenode.net]

05:43 jonafan_ has quit [farmer.freenode.net irc.freenode.net]

05:43 Deformative has quit [farmer.freenode.net irc.freenode.net]

05:43 rlarson85 has quit [farmer.freenode.net irc.freenode.net]

05:43 infoe has quit [farmer.freenode.net irc.freenode.net]

05:43 jimmyb2187 has quit [farmer.freenode.net irc.freenode.net]

05:43 mfp has quit [farmer.freenode.net irc.freenode.net]

05:43 patronus_ has quit [farmer.freenode.net irc.freenode.net]

05:43 brendan has quit [farmer.freenode.net irc.freenode.net]

05:43 Pepe_ has quit [farmer.freenode.net irc.freenode.net]

05:43 mal`` has quit [farmer.freenode.net irc.freenode.net]

05:43 struktured has quit [farmer.freenode.net irc.freenode.net]

05:43 ertai has quit [farmer.freenode.net irc.freenode.net]

05:43 BigJ has quit [farmer.freenode.net irc.freenode.net]

05:43 Amorphous has quit [farmer.freenode.net irc.freenode.net]

05:43 tmaedaZ has quit [farmer.freenode.net irc.freenode.net]

05:44 EliasAmaral has joined #ocaml

05:44 _Jedai_3 has joined #ocaml

05:44 rlarson85 has joined #ocaml

05:44 bacam has joined #ocaml

05:44 jknick_ has joined #ocaml

05:44 diml has joined #ocaml

05:44 willb has joined #ocaml

05:44 smimou has joined #ocaml

05:44 tab_ has joined #ocaml

05:44 zhijie1 has joined #ocaml

05:44 tarbo2 has joined #ocaml

05:44 Alpounet has joined #ocaml

05:44 Submarine has joined #ocaml

05:44 anders^^ has joined #ocaml

05:44 gdmfsob has joined #ocaml

05:44 orbitz has joined #ocaml

05:44 dark_light has joined #ocaml

05:44 gildor has joined #ocaml

05:44 caligula__ has joined #ocaml

05:44 haelix has joined #ocaml

05:44 rumbleca_ has joined #ocaml

05:44 srcerer_ has joined #ocaml

05:44 fremo_ has joined #ocaml

05:44 palomer has joined #ocaml

05:44 M| has joined #ocaml

05:44 svenl has joined #ocaml

05:44 maskd has joined #ocaml

05:44 bind_return has joined #ocaml

05:44 demitar has joined #ocaml

05:44 Dodek has joined #ocaml

05:44 hcarty has joined #ocaml

05:44 prigaux_ has joined #ocaml

05:44 deavidsedice has joined #ocaml

05:44 jonafan_ has joined #ocaml

05:44 schme has joined #ocaml

05:44 julm has joined #ocaml

05:44 xian_ has joined #ocaml

05:44 ozzloy has joined #ocaml

05:44 thelema_ has joined #ocaml

05:44 peddie has joined #ocaml

05:44 thrasibule has joined #ocaml

05:44 tmaedaZ has joined #ocaml

05:44 wm_eddie has joined #ocaml

05:44 TaXules has joined #ocaml

05:44 mehdid has joined #ocaml

05:44 patronus_ has joined #ocaml

05:44 Deformative has joined #ocaml

05:44 jlouis has joined #ocaml

05:44 shr3kst3r has joined #ocaml

05:44 hugin has joined #ocaml

05:44 Boney has joined #ocaml

05:44 Ori_B has joined #ocaml

05:44 noj_ has joined #ocaml

05:44 bzzbzz has joined #ocaml

05:44 Amorphous has joined #ocaml

05:44 lutter has joined #ocaml

05:44 __marius1_ has joined #ocaml

05:44 flux has joined #ocaml

05:44 struktured has joined #ocaml

05:44 mattam has joined #ocaml

05:44 safire has joined #ocaml

05:44 tonyIII has joined #ocaml

05:44 trasz has joined #ocaml

05:44 det has joined #ocaml

05:44 mal`` has joined #ocaml

05:44 mbishop has joined #ocaml

05:44 jimmyb2187 has joined #ocaml

05:44 mrvn has joined #ocaml

05:44 Camarade_Tux has joined #ocaml

05:44 Leonidas has joined #ocaml

05:44 Mr_Awesome has joined #ocaml

05:44 hyperboreean has joined #ocaml

05:44 nimred has joined #ocaml

05:44 lanaer has joined #ocaml

05:44 infoe_ has joined #ocaml

05:44 WuJiang has joined #ocaml

05:44 sgnb has joined #ocaml

05:44 Asmadeus has joined #ocaml

05:44 diginux has joined #ocaml

05:44 acatout has joined #ocaml

05:44 mfp has joined #ocaml

05:44 infoe has joined #ocaml

05:44 BigJ has joined #ocaml

05:44 Pepe_ has joined #ocaml

05:44 ertai has joined #ocaml

05:44 brendan has joined #ocaml

05:48 dark_light has quit [Read error: 101 (Network is unreachable)]

05:52 ulfdoz has joined #ocaml

05:56 caligula_ has joined #ocaml

06:00 diml has quit [farmer.freenode.net irc.freenode.net]

06:00 Alpounet has quit [farmer.freenode.net irc.freenode.net]

06:00 tab_ has quit [farmer.freenode.net irc.freenode.net]

06:00 zhijie1 has quit [farmer.freenode.net irc.freenode.net]

06:00 anders^^ has quit [farmer.freenode.net irc.freenode.net]

06:00 willb has quit [farmer.freenode.net irc.freenode.net]

06:00 Submarine has quit [farmer.freenode.net irc.freenode.net]

06:00 smimou has quit [farmer.freenode.net irc.freenode.net]

06:00 tarbo2 has quit [farmer.freenode.net irc.freenode.net]

06:04 anders^^ has joined #ocaml

06:04 Submarine has joined #ocaml

06:04 Alpounet has joined #ocaml

06:04 tarbo2 has joined #ocaml

06:04 zhijie1 has joined #ocaml

06:04 tab_ has joined #ocaml

06:04 smimou has joined #ocaml

06:04 willb has joined #ocaml

06:04 diml has joined #ocaml

06:09 caligula__ has quit [Read error: 110 (Connection timed out)]

06:18 caligula_ has quit [Read error: 110 (Connection timed out)]

06:19 zhijie has joined #ocaml

06:20 zhijie1 has quit [Read error: 104 (Connection reset by peer)]

06:32 ulfdoz has quit [Read error: 110 (Connection timed out)]

07:00 tmaedaZ is now known as tmaeda

07:23 mishok13 has joined #ocaml

07:37 thrasibule has quit [Read error: 110 (Connection timed out)]

07:39 gdmfsob has quit [Read error: 110 (Connection timed out)]

07:47 ttamttam has joined #ocaml

07:49 adaraza has joined #ocaml

07:52 Yoric has joined #ocaml

08:13 srcerer_ is now known as srcerer

08:17 Yoric has quit []

08:39 Submarine has quit [Remote closed the connection]

08:44 zhijie has quit [Read error: 110 (Connection timed out)]

08:46 tarbo2 has quit [Read error: 110 (Connection timed out)]

08:47 tarbo2 has joined #ocaml

08:52 munga has joined #ocaml

08:53 _zack has joined #ocaml

08:54 crat has joined #ocaml

08:55 dark_light has joined #ocaml

08:55 EliasAmaral has quit [Read error: 101 (Network is unreachable)]

09:05 zhijie has joined #ocaml

09:16 Associat0r has joined #ocaml

09:19 ikaros has joined #ocaml

09:27 Yoric has joined #ocaml

09:36 crat_ has joined #ocaml

09:37 noj_ has quit [Client Quit]

09:44 noj has joined #ocaml

09:49 Pimm has joined #ocaml

09:50 crat_ has quit ["Leaving"]

09:53 crat has quit [Read error: 101 (Network is unreachable)]

10:03 r0bby has joined #ocaml

10:11 adaraza has left #ocaml []

10:22 _zack has quit ["Leaving."]

10:48 _zack has joined #ocaml

10:55 WuJiang_ has joined #ocaml

10:55 dark_light has quit [Read error: 110 (Connection timed out)]

10:56 Camarade1Tux has joined #ocaml

10:57 EliasAmaral has joined #ocaml

10:58 Camarade_Tux has quit [Read error: 104 (Connection reset by peer)]

10:58 Asmadeus has quit [Read error: 104 (Connection reset by peer)]

11:07 WuJiang has quit [Read error: 110 (Connection timed out)]

11:35 EliasAmaral has quit [Read error: 110 (Connection timed out)]

11:36 EliasAmaral has joined #ocaml

11:40 zhijie1 has joined #ocaml

11:41 ikaros has quit [Remote closed the connection]

11:45 Camarade1Tux is now known as Camarade_TUx

11:45 Camarade_TUx is now known as Camarade_Tux

11:48 _andre has joined #ocaml

11:48 zhijie2 has joined #ocaml

11:48 zhijie1 has quit [Connection reset by peer]

11:51 zhijie has quit [Read error: 110 (Connection timed out)]

12:07 tmaeda is now known as tmaedaZ

12:11 _unK has joined #ocaml

12:34 diml has quit [farmer.freenode.net irc.freenode.net]

12:34 Alpounet has quit [farmer.freenode.net irc.freenode.net]

12:34 tab_ has quit [farmer.freenode.net irc.freenode.net]

12:34 willb has quit [farmer.freenode.net irc.freenode.net]

12:34 smimou has quit [farmer.freenode.net irc.freenode.net]

12:34 anders^^ has quit [farmer.freenode.net irc.freenode.net]

12:35 xian_ is now known as xian

12:35 thelema has joined #ocaml

12:39 thelema_ has quit [Read error: 104 (Connection reset by peer)]

12:39 olegfink has joined #ocaml

12:40 <olegfink> hi

12:40 <olegfink> what could be wrong, camlp5-wise, with the following snippet:

12:40 <olegfink> <:expr< let $rec:isrec$ $list:decls$ in $expr$ >>

12:41 <olegfink> camlp5 says: While expanding quotation "expr":

12:41 <olegfink> Parse error: 'module' or antiquot "flag" or antiquot "_flag" or antiquot

12:41 <olegfink> "opt" or antiquot "_opt" or 'rec' expected after 'let' (in [expr])

12:41 anders^^ has joined #ocaml

12:41 Alpounet has joined #ocaml

12:41 tab_ has joined #ocaml

12:41 smimou has joined #ocaml

12:41 willb has joined #ocaml

12:41 diml has joined #ocaml

13:03 maskd has quit [farmer.freenode.net irc.freenode.net]

13:03 Dodek has quit [farmer.freenode.net irc.freenode.net]

13:03 r0bby has quit [farmer.freenode.net irc.freenode.net]

13:03 gildor has quit [farmer.freenode.net irc.freenode.net]

13:03 bind_return has quit [farmer.freenode.net irc.freenode.net]

13:03 haelix has quit [farmer.freenode.net irc.freenode.net]

13:04 svenl has quit [farmer.freenode.net irc.freenode.net]

13:04 demitar has quit [farmer.freenode.net irc.freenode.net]

13:09 diml has quit [farmer.freenode.net irc.freenode.net]

13:09 Alpounet has quit [farmer.freenode.net irc.freenode.net]

13:11 tab_ has quit [farmer.freenode.net irc.freenode.net]

13:11 willb has quit [farmer.freenode.net irc.freenode.net]

13:11 smimou has quit [farmer.freenode.net irc.freenode.net]

13:11 anders^^ has quit [farmer.freenode.net irc.freenode.net]

13:11 thelema has quit [farmer.freenode.net irc.freenode.net]

13:11 WuJiang_ has quit [farmer.freenode.net irc.freenode.net]

13:11 munga has quit [farmer.freenode.net irc.freenode.net]

13:11 hcarty has quit [farmer.freenode.net irc.freenode.net]

13:11 rumbleca_ has quit [farmer.freenode.net irc.freenode.net]

13:11 ozzloy has quit [farmer.freenode.net irc.freenode.net]

13:11 xian has quit [farmer.freenode.net irc.freenode.net]

13:11 M| has quit [farmer.freenode.net irc.freenode.net]

13:11 julm has quit [farmer.freenode.net irc.freenode.net]

13:11 schme has quit [farmer.freenode.net irc.freenode.net]

13:11 orbitz has quit [farmer.freenode.net irc.freenode.net]

13:11 zhijie2 has quit [farmer.freenode.net irc.freenode.net]

13:11 tarbo2 has quit [farmer.freenode.net irc.freenode.net]

13:11 jknick_ has quit [farmer.freenode.net irc.freenode.net]

13:11 bzzbzz has quit [farmer.freenode.net irc.freenode.net]

13:11 _Jedai_3 has quit [farmer.freenode.net irc.freenode.net]

13:11 fremo_ has quit [farmer.freenode.net irc.freenode.net]

13:11 jlouis has quit [farmer.freenode.net irc.freenode.net]

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

13:11 tonyIII has quit [farmer.freenode.net irc.freenode.net]

13:11 _unK has quit [farmer.freenode.net irc.freenode.net]

13:11 mehdid has quit [farmer.freenode.net irc.freenode.net]

13:11 shr3kst3r has quit [farmer.freenode.net irc.freenode.net]

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

13:11 safire has quit [farmer.freenode.net irc.freenode.net]

13:11 hugin has quit [farmer.freenode.net irc.freenode.net]

13:11 srcerer has quit [farmer.freenode.net irc.freenode.net]

13:11 Boney has quit [farmer.freenode.net irc.freenode.net]

13:11 acatout has quit [farmer.freenode.net irc.freenode.net]

13:11 TaXules has quit [farmer.freenode.net irc.freenode.net]

13:11 deavidsedice has quit [farmer.freenode.net irc.freenode.net]

13:11 ttamttam has quit [farmer.freenode.net irc.freenode.net]

13:11 mrvn has quit [farmer.freenode.net irc.freenode.net]

13:11 trasz has quit [farmer.freenode.net irc.freenode.net]

13:11 flux has quit [farmer.freenode.net irc.freenode.net]

13:11 sgnb has quit [farmer.freenode.net irc.freenode.net]

13:11 Camarade_Tux has quit [farmer.freenode.net irc.freenode.net]

13:11 mishok13 has quit [farmer.freenode.net irc.freenode.net]

13:11 __marius1_ has quit [farmer.freenode.net irc.freenode.net]

13:11 Leonidas has quit [farmer.freenode.net irc.freenode.net]

13:11 mattam has quit [farmer.freenode.net irc.freenode.net]

13:11 prigaux_ has quit [farmer.freenode.net irc.freenode.net]

13:11 lutter has quit [farmer.freenode.net irc.freenode.net]

13:11 mbishop has quit [farmer.freenode.net irc.freenode.net]

13:11 infoe_ has quit [farmer.freenode.net irc.freenode.net]

13:11 lanaer has quit [farmer.freenode.net irc.freenode.net]

13:11 nimred has quit [farmer.freenode.net irc.freenode.net]

13:11 hyperboreean has quit [farmer.freenode.net irc.freenode.net]

13:11 peddie has quit [farmer.freenode.net irc.freenode.net]

13:11 Mr_Awesome has quit [farmer.freenode.net irc.freenode.net]

13:11 diginux has quit [farmer.freenode.net irc.freenode.net]

13:11 _andre has quit [farmer.freenode.net irc.freenode.net]

13:11 Pimm has quit [farmer.freenode.net irc.freenode.net]

13:11 Associat0r has quit [farmer.freenode.net irc.freenode.net]

13:11 bacam has quit [farmer.freenode.net irc.freenode.net]

13:11 palomer has quit [farmer.freenode.net irc.freenode.net]

13:11 Ori_B has quit [farmer.freenode.net irc.freenode.net]

13:11 wm_eddie has quit [farmer.freenode.net irc.freenode.net]

13:11 jonafan_ has quit [farmer.freenode.net irc.freenode.net]

13:11 Deformative has quit [farmer.freenode.net irc.freenode.net]

13:11 rlarson85 has quit [farmer.freenode.net irc.freenode.net]

13:11 infoe has quit [farmer.freenode.net irc.freenode.net]

13:11 jimmyb2187 has quit [farmer.freenode.net irc.freenode.net]

13:11 mfp has quit [farmer.freenode.net irc.freenode.net]

13:11 patronus_ has quit [farmer.freenode.net irc.freenode.net]

13:11 brendan has quit [farmer.freenode.net irc.freenode.net]

13:11 Pepe_ has quit [farmer.freenode.net irc.freenode.net]

13:11 mal`` has quit [farmer.freenode.net irc.freenode.net]

13:11 struktured has quit [farmer.freenode.net irc.freenode.net]

13:11 ertai has quit [farmer.freenode.net irc.freenode.net]

13:11 BigJ has quit [farmer.freenode.net irc.freenode.net]

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

13:11 tmaedaZ has quit [farmer.freenode.net irc.freenode.net]

13:11 olegfink has quit [Read error: 104 (Connection reset by peer)]

13:11 olegfink has joined #ocaml

13:11 WuJiang has joined #ocaml

13:11 thelema_ has joined #ocaml

13:11 diml has joined #ocaml

13:11 willb has joined #ocaml

13:11 smimou has joined #ocaml

13:11 tab_ has joined #ocaml

13:11 Alpounet has joined #ocaml

13:11 anders^^ has joined #ocaml

13:11 _unK has joined #ocaml

13:11 zhijie2 has joined #ocaml

13:11 _andre has joined #ocaml

13:11 Camarade_Tux has joined #ocaml

13:11 r0bby has joined #ocaml

13:11 Pimm has joined #ocaml

13:11 noj has joined #ocaml

13:11 Associat0r has joined #ocaml

13:11 munga has joined #ocaml

13:11 tarbo2 has joined #ocaml

13:11 ttamttam has joined #ocaml

13:11 mishok13 has joined #ocaml

13:11 _Jedai_3 has joined #ocaml

13:11 rlarson85 has joined #ocaml

13:11 bacam has joined #ocaml

13:11 jknick_ has joined #ocaml

13:11 orbitz has joined #ocaml

13:11 gildor has joined #ocaml

13:11 haelix has joined #ocaml

13:11 rumbleca_ has joined #ocaml

13:11 srcerer has joined #ocaml

13:11 fremo_ has joined #ocaml

13:11 palomer has joined #ocaml

13:11 M| has joined #ocaml

13:11 svenl has joined #ocaml

13:11 maskd has joined #ocaml

13:11 bind_return has joined #ocaml

13:11 demitar has joined #ocaml

13:11 Dodek has joined #ocaml

13:11 hcarty has joined #ocaml

13:11 prigaux_ has joined #ocaml

13:11 deavidsedice has joined #ocaml

13:11 jonafan_ has joined #ocaml

13:11 schme has joined #ocaml

13:11 julm has joined #ocaml

13:11 xian has joined #ocaml

13:11 ozzloy has joined #ocaml

13:11 peddie has joined #ocaml

13:11 tmaedaZ has joined #ocaml

13:11 wm_eddie has joined #ocaml

13:11 TaXules has joined #ocaml

13:11 mehdid has joined #ocaml

13:11 patronus_ has joined #ocaml

13:11 Deformative has joined #ocaml

13:11 jlouis has joined #ocaml

13:11 shr3kst3r has joined #ocaml

13:11 hugin has joined #ocaml

13:11 Boney has joined #ocaml

13:11 Ori_B has joined #ocaml

13:11 bzzbzz has joined #ocaml

13:11 Amorphous has joined #ocaml

13:11 lutter has joined #ocaml

13:11 __marius1_ has joined #ocaml

13:11 flux has joined #ocaml

13:11 struktured has joined #ocaml

13:11 mattam has joined #ocaml

13:11 safire has joined #ocaml

13:11 tonyIII has joined #ocaml

13:11 trasz has joined #ocaml

13:11 det has joined #ocaml

13:11 mal`` has joined #ocaml

13:11 mbishop has joined #ocaml

13:11 jimmyb2187 has joined #ocaml

13:11 mrvn has joined #ocaml

13:11 Leonidas has joined #ocaml

13:11 Mr_Awesome has joined #ocaml

13:11 hyperboreean has joined #ocaml

13:11 nimred has joined #ocaml

13:11 lanaer has joined #ocaml

13:11 infoe_ has joined #ocaml

13:11 sgnb has joined #ocaml

13:11 diginux has joined #ocaml

13:11 acatout has joined #ocaml

13:11 mfp has joined #ocaml

13:11 infoe has joined #ocaml

13:11 BigJ has joined #ocaml

13:11 Pepe_ has joined #ocaml

13:11 ertai has joined #ocaml

13:11 brendan has joined #ocaml

13:11 Narrenschiff has joined #ocaml

13:16 _Jedai_3 is now known as Jedai

13:16 Jedai is now known as _Jedai_

13:20 _Jedai_ is now known as Jedai

13:21 diml has quit [farmer.freenode.net irc.freenode.net]

13:21 Alpounet has quit [farmer.freenode.net irc.freenode.net]

13:21 tab_ has quit [farmer.freenode.net irc.freenode.net]

13:21 anders^^ has quit [farmer.freenode.net irc.freenode.net]

13:21 willb has quit [farmer.freenode.net irc.freenode.net]

13:21 smimou has quit [farmer.freenode.net irc.freenode.net]

13:22 anders^^ has joined #ocaml

13:22 Alpounet has joined #ocaml

13:22 tab_ has joined #ocaml

13:22 smimou has joined #ocaml

13:22 willb has joined #ocaml

13:22 diml has joined #ocaml

13:27 zhijie2 has quit [Read error: 104 (Connection reset by peer)]

13:29 zhijie has joined #ocaml

13:31 zhijie1 has joined #ocaml

13:34 _unK has quit [Remote closed the connection]

13:50 zhijie has quit [Connection timed out]

14:00 thrasibule has joined #ocaml

14:10 <_zack> my best "don't" of the year on interfacing C with OCaml: don't register_global_root inside structures that are returned by value

14:10 <_zack> (because they are copied back to the caller, and register_global_root then becomes useless)

14:11 <mrvn> you want to register a primitive type as root?

14:11 <_zack> nope, I've a C data structure that contains pointers to caml values

14:12 <mrvn> so? then register each value.

14:48 dark_light has joined #ocaml

14:50 jknick_ has quit [farmer.freenode.net irc.freenode.net]

14:50 bzzbzz has quit [farmer.freenode.net irc.freenode.net]

14:50 Jedai has quit [farmer.freenode.net irc.freenode.net]

14:50 fremo_ has quit [farmer.freenode.net irc.freenode.net]

14:50 jlouis has quit [farmer.freenode.net irc.freenode.net]

14:50 tarbo2 has quit [farmer.freenode.net irc.freenode.net]

14:52 fremo_ has joined #ocaml

14:52 bzzbzz has joined #ocaml

14:53 EliasAmaral has quit [Read error: 101 (Network is unreachable)]

14:53 jknick has joined #ocaml

14:53 jlouis has joined #ocaml

14:56 Pimm has quit [Read error: 110 (Connection timed out)]

15:00 tarbo2 has joined #ocaml

15:00 jknick_ has joined #ocaml

15:00 Jedai has joined #ocaml

15:01 jknick_ has quit [Connection reset by peer]

15:01 tarbo2 has quit [SendQ exceeded]

15:02 tarbo2 has joined #ocaml

15:02 <_zack> mrvn: read what I wrote :)

15:04 _zack has quit ["Leaving."]

15:11 dark_light has quit [Read error: 110 (Connection timed out)]

15:11 dark_light has joined #ocaml

15:28 mrvn has quit [farmer.freenode.net irc.freenode.net]

15:28 trasz has quit [farmer.freenode.net irc.freenode.net]

15:28 flux has quit [farmer.freenode.net irc.freenode.net]

15:28 ttamttam has quit [farmer.freenode.net irc.freenode.net]

15:28 sgnb has quit [farmer.freenode.net irc.freenode.net]

15:28 Narrenschiff has quit [farmer.freenode.net irc.freenode.net]

15:28 __marius1_ has quit [farmer.freenode.net irc.freenode.net]

15:28 Leonidas has quit [farmer.freenode.net irc.freenode.net]

15:28 mattam has quit [farmer.freenode.net irc.freenode.net]

15:28 prigaux_ has quit [farmer.freenode.net irc.freenode.net]

15:28 lutter has quit [farmer.freenode.net irc.freenode.net]

15:28 mbishop has quit [farmer.freenode.net irc.freenode.net]

15:28 mishok13 has quit [farmer.freenode.net irc.freenode.net]

15:28 infoe_ has quit [farmer.freenode.net irc.freenode.net]

15:28 lanaer has quit [farmer.freenode.net irc.freenode.net]

15:28 nimred has quit [farmer.freenode.net irc.freenode.net]

15:28 Camarade_Tux has quit [farmer.freenode.net irc.freenode.net]

15:28 hyperboreean has quit [farmer.freenode.net irc.freenode.net]

15:28 peddie has quit [farmer.freenode.net irc.freenode.net]

15:28 Mr_Awesome has quit [farmer.freenode.net irc.freenode.net]

15:28 diginux has quit [farmer.freenode.net irc.freenode.net]

15:31 Narrenschiff has joined #ocaml

15:31 Camarade_Tux has joined #ocaml

15:31 ttamttam has joined #ocaml

15:31 mishok13 has joined #ocaml

15:31 prigaux_ has joined #ocaml

15:31 peddie has joined #ocaml

15:31 lutter has joined #ocaml

15:31 __marius1_ has joined #ocaml

15:31 flux has joined #ocaml

15:31 mattam has joined #ocaml

15:31 trasz has joined #ocaml

15:31 mbishop has joined #ocaml

15:31 diginux has joined #ocaml

15:31 sgnb has joined #ocaml

15:31 infoe_ has joined #ocaml

15:31 lanaer has joined #ocaml

15:31 nimred has joined #ocaml

15:31 hyperboreean has joined #ocaml

15:31 Mr_Awesome has joined #ocaml

15:31 Leonidas has joined #ocaml

15:31 mrvn has joined #ocaml

15:31 sgnb has quit [farmer.freenode.net irc.freenode.net]

15:31 __marius1_ has quit [farmer.freenode.net irc.freenode.net]

15:31 mishok13 has quit [farmer.freenode.net irc.freenode.net]

15:31 Narrenschiff has quit [farmer.freenode.net irc.freenode.net]

15:31 diginux has quit [farmer.freenode.net irc.freenode.net]

15:31 Camarade_Tux has quit [farmer.freenode.net irc.freenode.net]

15:31 nimred has quit [farmer.freenode.net irc.freenode.net]

15:31 Mr_Awesome has quit [farmer.freenode.net irc.freenode.net]

15:31 mattam has quit [farmer.freenode.net irc.freenode.net]

15:31 lanaer has quit [farmer.freenode.net irc.freenode.net]

15:31 hyperboreean has quit [farmer.freenode.net irc.freenode.net]

15:31 lutter has quit [farmer.freenode.net irc.freenode.net]

15:31 Leonidas has quit [farmer.freenode.net irc.freenode.net]

15:31 infoe_ has quit [farmer.freenode.net irc.freenode.net]

15:31 prigaux_ has quit [farmer.freenode.net irc.freenode.net]

15:31 mbishop has quit [farmer.freenode.net irc.freenode.net]

15:31 peddie has quit [farmer.freenode.net irc.freenode.net]

15:33 ikaros has joined #ocaml

15:36 Narrenschiff has joined #ocaml

15:36 Camarade_Tux has joined #ocaml

15:36 mishok13 has joined #ocaml

15:36 prigaux_ has joined #ocaml

15:36 peddie has joined #ocaml

15:36 lutter has joined #ocaml

15:36 __marius1_ has joined #ocaml

15:36 mattam has joined #ocaml

15:36 mbishop has joined #ocaml

15:36 diginux has joined #ocaml

15:36 sgnb has joined #ocaml

15:36 Leonidas has joined #ocaml

15:36 Mr_Awesome has joined #ocaml

15:36 hyperboreean has joined #ocaml

15:36 nimred has joined #ocaml

15:36 lanaer has joined #ocaml

15:36 infoe_ has joined #ocaml

15:44 joewilliams has joined #ocaml

15:51 sgnb has quit [farmer.freenode.net irc.freenode.net]

15:51 __marius1_ has quit [farmer.freenode.net irc.freenode.net]

15:51 mishok13 has quit [farmer.freenode.net irc.freenode.net]

15:51 hyperboreean has quit [farmer.freenode.net irc.freenode.net]

15:51 lutter has quit [farmer.freenode.net irc.freenode.net]

15:51 Leonidas has quit [farmer.freenode.net irc.freenode.net]

15:51 mattam has quit [farmer.freenode.net irc.freenode.net]

15:51 nimred has quit [farmer.freenode.net irc.freenode.net]

15:51 infoe_ has quit [farmer.freenode.net irc.freenode.net]

15:51 lanaer has quit [farmer.freenode.net irc.freenode.net]

15:51 Mr_Awesome has quit [farmer.freenode.net irc.freenode.net]

15:51 diginux has quit [farmer.freenode.net irc.freenode.net]

15:51 Narrenschiff has quit [farmer.freenode.net irc.freenode.net]

15:51 Camarade_Tux has quit [farmer.freenode.net irc.freenode.net]

15:51 prigaux_ has quit [farmer.freenode.net irc.freenode.net]

15:51 mbishop has quit [farmer.freenode.net irc.freenode.net]

15:51 peddie has quit [farmer.freenode.net irc.freenode.net]

16:01 sgnb has joined #ocaml

16:01 Narrenschiff has joined #ocaml

16:01 Camarade_Tux has joined #ocaml

16:01 mishok13 has joined #ocaml

16:01 prigaux_ has joined #ocaml

16:01 peddie has joined #ocaml

16:01 lutter has joined #ocaml

16:01 __marius1_ has joined #ocaml

16:01 mattam has joined #ocaml

16:01 mbishop has joined #ocaml

16:01 diginux has joined #ocaml

16:01 Leonidas has joined #ocaml

16:01 Mr_Awesome has joined #ocaml

16:01 hyperboreean has joined #ocaml

16:01 nimred has joined #ocaml

16:01 lanaer has joined #ocaml

16:01 infoe_ has joined #ocaml

16:04 tmaedaZ is now known as tmaeda

16:11 Pimm has joined #ocaml

16:12 sgnb has quit [farmer.freenode.net irc.freenode.net]

16:12 __marius1_ has quit [farmer.freenode.net irc.freenode.net]

16:12 mishok13 has quit [farmer.freenode.net irc.freenode.net]

16:12 hyperboreean has quit [farmer.freenode.net irc.freenode.net]

16:12 lutter has quit [farmer.freenode.net irc.freenode.net]

16:12 Leonidas has quit [farmer.freenode.net irc.freenode.net]

16:12 mattam has quit [farmer.freenode.net irc.freenode.net]

16:12 nimred has quit [farmer.freenode.net irc.freenode.net]

16:12 infoe_ has quit [farmer.freenode.net irc.freenode.net]

16:12 lanaer has quit [farmer.freenode.net irc.freenode.net]

16:12 Mr_Awesome has quit [farmer.freenode.net irc.freenode.net]

16:12 diginux has quit [farmer.freenode.net irc.freenode.net]

16:12 Narrenschiff has quit [farmer.freenode.net irc.freenode.net]

16:12 Camarade_Tux has quit [farmer.freenode.net irc.freenode.net]

16:12 prigaux_ has quit [farmer.freenode.net irc.freenode.net]

16:12 mbishop has quit [farmer.freenode.net irc.freenode.net]

16:12 peddie has quit [farmer.freenode.net irc.freenode.net]

16:18 diginux has joined #ocaml

16:23 sgnb has joined #ocaml

16:23 Narrenschiff has joined #ocaml

16:23 Camarade_Tux has joined #ocaml

16:23 mishok13 has joined #ocaml

16:23 prigaux_ has joined #ocaml

16:23 peddie has joined #ocaml

16:23 lutter has joined #ocaml

16:23 __marius1_ has joined #ocaml

16:23 mattam has joined #ocaml

16:23 mbishop has joined #ocaml

16:23 Leonidas has joined #ocaml

16:23 Mr_Awesome has joined #ocaml

16:23 hyperboreean has joined #ocaml

16:23 nimred has joined #ocaml

16:23 lanaer has joined #ocaml

16:23 infoe_ has joined #ocaml

16:32 _zack has joined #ocaml

16:33 ygrek has joined #ocaml

16:39 Pimm has quit [Read error: 110 (Connection timed out)]

16:44 jonafan_ is now known as jonafan

16:59 jonafan_ has joined #ocaml

17:00 thelema has joined #ocaml

17:01 diginux has quit [farmer.freenode.net irc.freenode.net]

17:01 ikaros has quit [farmer.freenode.net irc.freenode.net]

17:01 Jedai has quit [farmer.freenode.net irc.freenode.net]

17:01 jlouis has quit [farmer.freenode.net irc.freenode.net]

17:01 thelema_ has quit [farmer.freenode.net irc.freenode.net]

17:01 bacam has quit [farmer.freenode.net irc.freenode.net]

17:01 _andre has quit [farmer.freenode.net irc.freenode.net]

17:01 palomer has quit [farmer.freenode.net irc.freenode.net]

17:01 WuJiang has quit [farmer.freenode.net irc.freenode.net]

17:01 Ori_B has quit [farmer.freenode.net irc.freenode.net]

17:01 wm_eddie has quit [farmer.freenode.net irc.freenode.net]

17:01 jonafan has quit [farmer.freenode.net irc.freenode.net]

17:01 Deformative has quit [farmer.freenode.net irc.freenode.net]

17:01 rlarson85 has quit [farmer.freenode.net irc.freenode.net]

17:01 Associat0r has quit [farmer.freenode.net irc.freenode.net]

17:01 infoe has quit [farmer.freenode.net irc.freenode.net]

17:01 jimmyb2187 has quit [farmer.freenode.net irc.freenode.net]

17:01 mfp has quit [farmer.freenode.net irc.freenode.net]

17:01 patronus_ has quit [farmer.freenode.net irc.freenode.net]

17:02 jonafan_ is now known as jonafan

17:02 Deformative has joined #ocaml

17:04 jlouis has joined #ocaml

17:04 Ori_B has joined #ocaml

17:04 WuJiang has joined #ocaml

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

17:06 bacam has joined #ocaml

17:06 patronus has joined #ocaml

17:09 |Jedai| has joined #ocaml

17:09 diginux has joined #ocaml

17:09 ikaros has joined #ocaml

17:09 Jedai has joined #ocaml

17:09 thelema_ has joined #ocaml

17:09 Associat0r has joined #ocaml

17:09 rlarson85 has joined #ocaml

17:09 palomer has joined #ocaml

17:09 wm_eddie has joined #ocaml

17:09 patronus_ has joined #ocaml

17:09 jimmyb2187 has joined #ocaml

17:09 mfp has joined #ocaml

17:09 infoe has joined #ocaml

17:09 diginux_ has joined #ocaml

17:10 wm_eddie has quit [Connection reset by peer]

17:10 Jedai has quit [Excess Flood]

17:10 Associ8or has joined #ocaml

17:10 rlarson`` has joined #ocaml

17:10 thelema_ has quit [Read error: 104 (Connection reset by peer)]

17:11 wm_eddie has joined #ocaml

17:12 _andre has joined #ocaml

17:15 sgnb has quit [farmer.freenode.net irc.freenode.net]

17:15 patronus has quit [farmer.freenode.net irc.freenode.net]

17:15 __marius1_ has quit [farmer.freenode.net irc.freenode.net]

17:15 mishok13 has quit [farmer.freenode.net irc.freenode.net]

17:15 hyperboreean has quit [farmer.freenode.net irc.freenode.net]

17:15 lutter has quit [farmer.freenode.net irc.freenode.net]

17:15 Leonidas has quit [farmer.freenode.net irc.freenode.net]

17:15 mattam has quit [farmer.freenode.net irc.freenode.net]

17:15 nimred has quit [farmer.freenode.net irc.freenode.net]

17:15 infoe_ has quit [farmer.freenode.net irc.freenode.net]

17:15 lanaer has quit [farmer.freenode.net irc.freenode.net]

17:15 Mr_Awesome has quit [farmer.freenode.net irc.freenode.net]

17:15 Narrenschiff has quit [farmer.freenode.net irc.freenode.net]

17:15 Camarade_Tux has quit [farmer.freenode.net irc.freenode.net]

17:15 prigaux_ has quit [farmer.freenode.net irc.freenode.net]

17:15 mbishop has quit [farmer.freenode.net irc.freenode.net]

17:15 peddie has quit [farmer.freenode.net irc.freenode.net]

17:20 ttamttam has quit ["Leaving."]

17:20 Associ8or has quit [farmer.freenode.net irc.freenode.net]

17:20 palomer has quit [farmer.freenode.net irc.freenode.net]

17:20 ikaros has quit [farmer.freenode.net irc.freenode.net]

17:20 rlarson85 has quit [farmer.freenode.net irc.freenode.net]

17:20 Associat0r has quit [farmer.freenode.net irc.freenode.net]

17:20 infoe has quit [farmer.freenode.net irc.freenode.net]

17:20 jimmyb2187 has quit [farmer.freenode.net irc.freenode.net]

17:20 mfp has quit [farmer.freenode.net irc.freenode.net]

17:20 patronus_ has quit [farmer.freenode.net irc.freenode.net]

17:20 diginux has quit [farmer.freenode.net irc.freenode.net]

17:22 joewilliams has quit [Remote closed the connection]

17:23 joewilliams has joined #ocaml

17:24 Associat0r has joined #ocaml

17:24 Associ8or has joined #ocaml

17:24 ikaros has joined #ocaml

17:24 rlarson85 has joined #ocaml

17:24 palomer has joined #ocaml

17:24 jimmyb2187 has joined #ocaml

17:24 mfp has joined #ocaml

17:24 infoe has joined #ocaml

17:24 sgnb has joined #ocaml

17:24 patronus has joined #ocaml

17:24 Narrenschiff has joined #ocaml

17:24 Camarade_Tux has joined #ocaml

17:24 mishok13 has joined #ocaml

17:24 prigaux_ has joined #ocaml

17:24 peddie has joined #ocaml

17:24 lutter has joined #ocaml

17:24 __marius1_ has joined #ocaml

17:24 mattam has joined #ocaml

17:24 mbishop has joined #ocaml

17:24 Leonidas has joined #ocaml

17:24 Mr_Awesome has joined #ocaml

17:24 hyperboreean has joined #ocaml

17:24 nimred has joined #ocaml

17:24 lanaer has joined #ocaml

17:24 infoe_ has joined #ocaml

17:33 palomer has quit [farmer.freenode.net irc.freenode.net]

17:33 ikaros has quit [farmer.freenode.net irc.freenode.net]

17:33 rlarson85 has quit [farmer.freenode.net irc.freenode.net]

17:33 Associ8or has quit [farmer.freenode.net irc.freenode.net]

17:33 infoe has quit [farmer.freenode.net irc.freenode.net]

17:33 jimmyb2187 has quit [farmer.freenode.net irc.freenode.net]

17:33 mfp has quit [farmer.freenode.net irc.freenode.net]

17:33 Associat0r has quit [farmer.freenode.net irc.freenode.net]

17:40 dark_light has quit [Read error: 110 (Connection timed out)]

17:40 zhijie1 has quit [Read error: 110 (Connection timed out)]

17:43 maskd has quit [farmer.freenode.net irc.freenode.net]

17:43 Dodek has quit [farmer.freenode.net irc.freenode.net]

17:43 diginux_ has quit [farmer.freenode.net irc.freenode.net]

17:43 bacam has quit [farmer.freenode.net irc.freenode.net]

17:43 jlouis has quit [farmer.freenode.net irc.freenode.net]

17:43 Deformative has quit [farmer.freenode.net irc.freenode.net]

17:43 jonafan has quit [farmer.freenode.net irc.freenode.net]

17:43 _zack has quit [farmer.freenode.net irc.freenode.net]

17:43 tarbo2 has quit [farmer.freenode.net irc.freenode.net]

17:43 jknick has quit [farmer.freenode.net irc.freenode.net]

17:43 bzzbzz has quit [farmer.freenode.net irc.freenode.net]

17:43 gildor has quit [farmer.freenode.net irc.freenode.net]

17:43 bind_return has quit [farmer.freenode.net irc.freenode.net]

17:43 haelix has quit [farmer.freenode.net irc.freenode.net]

17:43 svenl has quit [farmer.freenode.net irc.freenode.net]

17:43 demitar has quit [farmer.freenode.net irc.freenode.net]

17:43 r0bby has quit [farmer.freenode.net irc.freenode.net]

17:43 joewilliams has quit [farmer.freenode.net irc.freenode.net]

17:43 mrvn has quit [farmer.freenode.net irc.freenode.net]

17:43 trasz has quit [farmer.freenode.net irc.freenode.net]

17:43 flux has quit [farmer.freenode.net irc.freenode.net]

17:44 diml has quit [farmer.freenode.net irc.freenode.net]

17:44 Alpounet has quit [farmer.freenode.net irc.freenode.net]

17:44 ygrek has quit [farmer.freenode.net irc.freenode.net]

17:44 tab_ has quit [farmer.freenode.net irc.freenode.net]

17:44 willb has quit [farmer.freenode.net irc.freenode.net]

17:44 smimou has quit [farmer.freenode.net irc.freenode.net]

17:44 anders^^ has quit [farmer.freenode.net irc.freenode.net]

17:45 wm_eddie has quit [farmer.freenode.net irc.freenode.net]

17:47 rlarson`` has quit [farmer.freenode.net irc.freenode.net]

17:47 Ori_B has quit [farmer.freenode.net irc.freenode.net]

17:47 fremo_ has quit [farmer.freenode.net irc.freenode.net]

17:47 hcarty has quit [farmer.freenode.net irc.freenode.net]

17:47 munga has quit [farmer.freenode.net irc.freenode.net]

17:47 rumbleca_ has quit [farmer.freenode.net irc.freenode.net]

17:47 ozzloy has quit [farmer.freenode.net irc.freenode.net]

17:47 xian has quit [farmer.freenode.net irc.freenode.net]

17:47 M| has quit [farmer.freenode.net irc.freenode.net]

17:47 julm has quit [farmer.freenode.net irc.freenode.net]

17:47 schme has quit [farmer.freenode.net irc.freenode.net]

17:47 orbitz has quit [farmer.freenode.net irc.freenode.net]

17:47 sgnb has quit [farmer.freenode.net irc.freenode.net]

17:47 __marius1_ has quit [farmer.freenode.net irc.freenode.net]

17:47 mishok13 has quit [farmer.freenode.net irc.freenode.net]

17:47 hyperboreean has quit [farmer.freenode.net irc.freenode.net]

17:47 lutter has quit [farmer.freenode.net irc.freenode.net]

17:47 Leonidas has quit [farmer.freenode.net irc.freenode.net]

17:47 mattam has quit [farmer.freenode.net irc.freenode.net]

17:47 nimred has quit [farmer.freenode.net irc.freenode.net]

17:47 infoe_ has quit [farmer.freenode.net irc.freenode.net]

17:47 lanaer has quit [farmer.freenode.net irc.freenode.net]

17:47 Mr_Awesome has quit [farmer.freenode.net irc.freenode.net]

17:47 Narrenschiff has quit [farmer.freenode.net irc.freenode.net]

17:47 Camarade_Tux has quit [farmer.freenode.net irc.freenode.net]

17:47 prigaux_ has quit [farmer.freenode.net irc.freenode.net]

17:47 mbishop has quit [farmer.freenode.net irc.freenode.net]

17:47 peddie has quit [farmer.freenode.net irc.freenode.net]

17:47 patronus has quit [farmer.freenode.net irc.freenode.net]

17:47 tonyIII has quit [farmer.freenode.net irc.freenode.net]

17:47 noj has quit [farmer.freenode.net irc.freenode.net]

17:47 WuJiang has quit [farmer.freenode.net irc.freenode.net]

17:47 mehdid has quit [farmer.freenode.net irc.freenode.net]

17:49 shr3kst3r has quit [farmer.freenode.net irc.freenode.net]

17:49 det has quit [farmer.freenode.net irc.freenode.net]

17:49 safire has quit [farmer.freenode.net irc.freenode.net]

17:49 hugin has quit [farmer.freenode.net irc.freenode.net]

17:49 srcerer has quit [farmer.freenode.net irc.freenode.net]

17:49 Boney has quit [farmer.freenode.net irc.freenode.net]

17:49 acatout has quit [farmer.freenode.net irc.freenode.net]

17:49 TaXules has quit [farmer.freenode.net irc.freenode.net]

17:49 deavidsedice has quit [farmer.freenode.net irc.freenode.net]

17:49 _andre has quit [farmer.freenode.net irc.freenode.net]

17:49 |Jedai| has quit [farmer.freenode.net irc.freenode.net]

17:49 thelema has quit [farmer.freenode.net irc.freenode.net]

17:49 brendan has quit [farmer.freenode.net irc.freenode.net]

17:49 Pepe_ has quit [farmer.freenode.net irc.freenode.net]

17:49 mal`` has quit [farmer.freenode.net irc.freenode.net]

17:49 struktured has quit [farmer.freenode.net irc.freenode.net]

17:49 ertai has quit [farmer.freenode.net irc.freenode.net]

17:49 BigJ has quit [farmer.freenode.net irc.freenode.net]

17:49 Amorphous has quit [farmer.freenode.net irc.freenode.net]

17:49 tmaeda has quit [farmer.freenode.net irc.freenode.net]

17:54 infoe_ has joined #ocaml

17:54 lanaer has joined #ocaml

17:54 nimred has joined #ocaml

17:54 hyperboreean has joined #ocaml

17:54 Mr_Awesome has joined #ocaml

17:54 Leonidas has joined #ocaml

17:54 mbishop has joined #ocaml

17:54 mattam has joined #ocaml

17:54 __marius1_ has joined #ocaml

17:54 lutter has joined #ocaml

17:54 peddie has joined #ocaml

17:54 prigaux_ has joined #ocaml

17:54 mishok13 has joined #ocaml

17:54 Camarade_Tux has joined #ocaml

17:54 Narrenschiff has joined #ocaml

17:54 patronus has joined #ocaml

17:54 sgnb has joined #ocaml

17:54 zhijie has joined #ocaml

17:54 joewilliams has joined #ocaml

17:54 _andre has joined #ocaml

17:54 wm_eddie has joined #ocaml

17:54 rlarson`` has joined #ocaml

17:54 diginux_ has joined #ocaml

17:54 |Jedai| has joined #ocaml

17:54 bacam has joined #ocaml

17:54 WuJiang has joined #ocaml

17:54 Ori_B has joined #ocaml

17:54 jlouis has joined #ocaml

17:54 Deformative has joined #ocaml

17:54 thelema has joined #ocaml

17:54 jonafan has joined #ocaml

17:54 _zack has joined #ocaml

17:54 mrvn has joined #ocaml

17:54 trasz has joined #ocaml

17:54 flux has joined #ocaml

17:54 tarbo2 has joined #ocaml

17:54 jknick has joined #ocaml

17:54 bzzbzz has joined #ocaml

17:54 fremo_ has joined #ocaml

17:54 r0bby has joined #ocaml

17:54 noj has joined #ocaml

17:54 munga has joined #ocaml

17:54 orbitz has joined #ocaml

17:54 gildor has joined #ocaml

17:54 haelix has joined #ocaml

17:54 rumbleca_ has joined #ocaml

17:54 srcerer has joined #ocaml

17:54 M| has joined #ocaml

17:54 svenl has joined #ocaml

17:54 maskd has joined #ocaml

17:54 bind_return has joined #ocaml

17:54 demitar has joined #ocaml

17:54 Dodek has joined #ocaml

17:54 hcarty has joined #ocaml

17:54 deavidsedice has joined #ocaml

17:54 schme has joined #ocaml

17:54 julm has joined #ocaml

17:54 xian has joined #ocaml

17:54 ozzloy has joined #ocaml

17:54 tmaeda has joined #ocaml

17:54 TaXules has joined #ocaml

17:54 mehdid has joined #ocaml

17:54 shr3kst3r has joined #ocaml

17:54 hugin has joined #ocaml

17:54 Boney has joined #ocaml

17:54 Amorphous has joined #ocaml

17:54 struktured has joined #ocaml

17:54 safire has joined #ocaml

17:54 tonyIII has joined #ocaml

17:54 det has joined #ocaml

17:54 mal`` has joined #ocaml

17:54 acatout has joined #ocaml

17:54 BigJ has joined #ocaml

17:54 Pepe_ has joined #ocaml

17:54 ertai has joined #ocaml

17:54 brendan has joined #ocaml

17:55 palomer has joined #ocaml

17:55 ikaros has joined #ocaml

17:55 mfp has joined #ocaml

17:55 infoe has joined #ocaml

17:55 anders^^ has joined #ocaml

17:55 jimmyb2187 has joined #ocaml

17:55 infoe has quit [farmer.freenode.net irc.freenode.net]

17:55 infoe has joined #ocaml

17:55 sgnb has quit [farmer.freenode.net irc.freenode.net]

17:55 jimmyb2187 has quit [farmer.freenode.net irc.freenode.net]

17:55 mfp has quit [farmer.freenode.net irc.freenode.net]

17:55 ikaros has quit [farmer.freenode.net irc.freenode.net]

17:55 palomer has quit [farmer.freenode.net irc.freenode.net]

17:55 __marius1_ has quit [farmer.freenode.net irc.freenode.net]

17:55 Leonidas has quit [farmer.freenode.net irc.freenode.net]

17:55 mattam has quit [farmer.freenode.net irc.freenode.net]

17:55 zhijie has quit [farmer.freenode.net irc.freenode.net]

17:55 prigaux_ has quit [farmer.freenode.net irc.freenode.net]

17:55 lutter has quit [farmer.freenode.net irc.freenode.net]

17:55 mbishop has quit [farmer.freenode.net irc.freenode.net]

17:55 mishok13 has quit [farmer.freenode.net irc.freenode.net]

17:55 nimred has quit [farmer.freenode.net irc.freenode.net]

17:55 Camarade_Tux has quit [farmer.freenode.net irc.freenode.net]

17:55 hyperboreean has quit [farmer.freenode.net irc.freenode.net]

17:55 peddie has quit [farmer.freenode.net irc.freenode.net]

17:55 Narrenschiff has quit [farmer.freenode.net irc.freenode.net]

17:55 patronus has quit [farmer.freenode.net irc.freenode.net]

17:55 Mr_Awesome has quit [farmer.freenode.net irc.freenode.net]

17:55 lanaer has quit [farmer.freenode.net irc.freenode.net]

17:55 infoe_ has quit [farmer.freenode.net irc.freenode.net]

17:55 ygrek has joined #ocaml

17:55 Alpounet has joined #ocaml

17:55 tab_ has joined #ocaml

17:55 smimou has joined #ocaml

17:55 willb has joined #ocaml

17:55 diml has joined #ocaml

17:55 jimmyb2187 has joined #ocaml

17:55 mfp has joined #ocaml

17:55 ikaros has joined #ocaml

17:55 palomer has joined #ocaml

17:55 zhijie has joined #ocaml

17:55 sgnb has joined #ocaml

17:55 patronus has joined #ocaml

17:55 Narrenschiff has joined #ocaml

17:55 Camarade_Tux has joined #ocaml

17:55 mishok13 has joined #ocaml

17:55 prigaux_ has joined #ocaml

17:55 peddie has joined #ocaml

17:55 lutter has joined #ocaml

17:55 __marius1_ has joined #ocaml

17:55 mattam has joined #ocaml

17:55 mbishop has joined #ocaml

17:55 Leonidas has joined #ocaml

17:55 Mr_Awesome has joined #ocaml

17:55 hyperboreean has joined #ocaml

17:55 nimred has joined #ocaml

17:55 lanaer has joined #ocaml

17:55 infoe_ has joined #ocaml

17:55 hajhouse has joined #ocaml

17:55 my007ms has quit [Excess Flood]

17:56 my007ms has joined #ocaml

18:02 Associat0r has joined #ocaml

18:12 _unK has joined #ocaml

18:16 Pimm has joined #ocaml

18:19 ttamttam has joined #ocaml

18:23 Yoric has quit []

18:24 maskd has quit [farmer.freenode.net irc.freenode.net]

18:24 Dodek has quit [farmer.freenode.net irc.freenode.net]

18:24 gildor has quit [farmer.freenode.net irc.freenode.net]

18:24 bacam has quit [farmer.freenode.net irc.freenode.net]

18:24 bind_return has quit [farmer.freenode.net irc.freenode.net]

18:24 haelix has quit [farmer.freenode.net irc.freenode.net]

18:24 jknick has quit [farmer.freenode.net irc.freenode.net]

18:24 jonafan has quit [farmer.freenode.net irc.freenode.net]

18:24 _zack has quit [farmer.freenode.net irc.freenode.net]

18:24 Deformative has quit [farmer.freenode.net irc.freenode.net]

18:24 bzzbzz has quit [farmer.freenode.net irc.freenode.net]

18:24 svenl has quit [farmer.freenode.net irc.freenode.net]

18:24 demitar has quit [farmer.freenode.net irc.freenode.net]

18:24 r0bby has quit [farmer.freenode.net irc.freenode.net]

18:24 tarbo2 has quit [farmer.freenode.net irc.freenode.net]

18:24 diginux_ has quit [farmer.freenode.net irc.freenode.net]

18:24 jlouis has quit [farmer.freenode.net irc.freenode.net]

18:24 infoe has quit [farmer.freenode.net irc.freenode.net]

18:24 diml has quit [farmer.freenode.net irc.freenode.net]

18:24 Alpounet has quit [farmer.freenode.net irc.freenode.net]

18:24 ygrek has quit [farmer.freenode.net irc.freenode.net]

18:24 tab_ has quit [farmer.freenode.net irc.freenode.net]

18:24 willb has quit [farmer.freenode.net irc.freenode.net]

18:24 smimou has quit [farmer.freenode.net irc.freenode.net]

18:24 ttamttam has quit [farmer.freenode.net irc.freenode.net]

18:24 mrvn has quit [farmer.freenode.net irc.freenode.net]

18:24 trasz has quit [farmer.freenode.net irc.freenode.net]

18:24 flux has quit [farmer.freenode.net irc.freenode.net]

18:24 joewilliams has quit [farmer.freenode.net irc.freenode.net]

18:24 _unK has quit [farmer.freenode.net irc.freenode.net]

18:24 hcarty has quit [farmer.freenode.net irc.freenode.net]

18:24 munga has quit [farmer.freenode.net irc.freenode.net]

18:25 rumbleca_ has quit [farmer.freenode.net irc.freenode.net]

18:25 ozzloy has quit [farmer.freenode.net irc.freenode.net]

18:25 Ori_B has quit [farmer.freenode.net irc.freenode.net]

18:25 wm_eddie has quit [farmer.freenode.net irc.freenode.net]

18:28 xian has quit [farmer.freenode.net irc.freenode.net]

18:28 M| has quit [farmer.freenode.net irc.freenode.net]

18:28 rlarson`` has quit [farmer.freenode.net irc.freenode.net]

18:34 julm has quit [farmer.freenode.net irc.freenode.net]

18:34 fremo_ has quit [farmer.freenode.net irc.freenode.net]

18:34 schme has quit [farmer.freenode.net irc.freenode.net]

18:34 orbitz has quit [farmer.freenode.net irc.freenode.net]

18:34 sgnb has quit [farmer.freenode.net irc.freenode.net]

18:34 Pimm has quit [farmer.freenode.net irc.freenode.net]

18:34 Associat0r has quit [farmer.freenode.net irc.freenode.net]

18:34 __marius1_ has quit [farmer.freenode.net irc.freenode.net]

18:34 palomer has quit [farmer.freenode.net irc.freenode.net]

18:34 ikaros has quit [farmer.freenode.net irc.freenode.net]

18:34 mishok13 has quit [farmer.freenode.net irc.freenode.net]

18:34 hyperboreean has quit [farmer.freenode.net irc.freenode.net]

18:34 lutter has quit [farmer.freenode.net irc.freenode.net]

18:34 Leonidas has quit [farmer.freenode.net irc.freenode.net]

18:34 zhijie has quit [farmer.freenode.net irc.freenode.net]

18:34 mattam has quit [farmer.freenode.net irc.freenode.net]

18:34 nimred has quit [farmer.freenode.net irc.freenode.net]

18:34 infoe_ has quit [farmer.freenode.net irc.freenode.net]

18:34 lanaer has quit [farmer.freenode.net irc.freenode.net]

18:34 Mr_Awesome has quit [farmer.freenode.net irc.freenode.net]

18:34 Narrenschiff has quit [farmer.freenode.net irc.freenode.net]

18:34 Camarade_Tux has quit [farmer.freenode.net irc.freenode.net]

18:34 prigaux_ has quit [farmer.freenode.net irc.freenode.net]

18:34 mbishop has quit [farmer.freenode.net irc.freenode.net]

18:34 peddie has quit [farmer.freenode.net irc.freenode.net]

18:34 patronus has quit [farmer.freenode.net irc.freenode.net]

18:34 mfp has quit [farmer.freenode.net irc.freenode.net]

18:34 jimmyb2187 has quit [farmer.freenode.net irc.freenode.net]

18:34 tonyIII has quit [farmer.freenode.net irc.freenode.net]

18:34 noj has quit [farmer.freenode.net irc.freenode.net]

18:34 hajhouse has quit [farmer.freenode.net irc.freenode.net]

18:34 mehdid has quit [farmer.freenode.net irc.freenode.net]

18:34 shr3kst3r has quit [farmer.freenode.net irc.freenode.net]

18:34 det has quit [farmer.freenode.net irc.freenode.net]

18:34 WuJiang has quit [farmer.freenode.net irc.freenode.net]

18:34 safire has quit [farmer.freenode.net irc.freenode.net]

18:34 hugin has quit [farmer.freenode.net irc.freenode.net]

18:34 srcerer has quit [farmer.freenode.net irc.freenode.net]

18:34 Boney has quit [farmer.freenode.net irc.freenode.net]

18:34 acatout has quit [farmer.freenode.net irc.freenode.net]

18:34 TaXules has quit [farmer.freenode.net irc.freenode.net]

18:34 deavidsedice has quit [farmer.freenode.net irc.freenode.net]

18:34 anders^^ has quit [farmer.freenode.net irc.freenode.net]

18:34 thelema has quit [farmer.freenode.net irc.freenode.net]

18:34 _andre has quit [farmer.freenode.net irc.freenode.net]

18:34 brendan has quit [farmer.freenode.net irc.freenode.net]

18:34 Pepe_ has quit [farmer.freenode.net irc.freenode.net]

18:34 mal`` has quit [farmer.freenode.net irc.freenode.net]

18:34 struktured has quit [farmer.freenode.net irc.freenode.net]

18:34 ertai has quit [farmer.freenode.net irc.freenode.net]

18:34 |Jedai| has quit [farmer.freenode.net irc.freenode.net]

18:34 BigJ has quit [farmer.freenode.net irc.freenode.net]

18:34 Amorphous has quit [farmer.freenode.net irc.freenode.net]

18:34 tmaeda has quit [farmer.freenode.net irc.freenode.net]

18:34 Asmadeus has joined #ocaml

18:34 ttamttam has joined #ocaml

18:34 Pimm has joined #ocaml

18:34 _unK has joined #ocaml

18:34 Associat0r has joined #ocaml

18:34 infoe_ has joined #ocaml

18:34 lanaer has joined #ocaml

18:34 nimred has joined #ocaml

18:34 hyperboreean has joined #ocaml

18:34 Mr_Awesome has joined #ocaml

18:34 Leonidas has joined #ocaml

18:34 mbishop has joined #ocaml

18:34 mattam has joined #ocaml

18:34 __marius1_ has joined #ocaml

18:34 lutter has joined #ocaml

18:34 peddie has joined #ocaml

18:34 prigaux_ has joined #ocaml

18:34 mishok13 has joined #ocaml

18:34 Camarade_Tux has joined #ocaml

18:34 Narrenschiff has joined #ocaml

18:34 patronus has joined #ocaml

18:34 sgnb has joined #ocaml

18:34 zhijie has joined #ocaml

18:34 palomer has joined #ocaml

18:34 ikaros has joined #ocaml

18:34 mfp has joined #ocaml

18:34 jimmyb2187 has joined #ocaml

18:34 anders^^ has joined #ocaml

18:34 joewilliams has joined #ocaml

18:34 _andre has joined #ocaml

18:34 wm_eddie has joined #ocaml

18:34 rlarson`` has joined #ocaml

18:34 diginux_ has joined #ocaml

18:34 |Jedai| has joined #ocaml

18:34 bacam has joined #ocaml

18:34 WuJiang has joined #ocaml

18:34 Ori_B has joined #ocaml

18:34 jlouis has joined #ocaml

18:34 Deformative has joined #ocaml

18:34 thelema has joined #ocaml

18:34 jonafan has joined #ocaml

18:34 _zack has joined #ocaml

18:34 mrvn has joined #ocaml

18:34 trasz has joined #ocaml

18:34 flux has joined #ocaml

18:34 tarbo2 has joined #ocaml

18:34 jknick has joined #ocaml

18:34 bzzbzz has joined #ocaml

18:34 fremo_ has joined #ocaml

18:34 r0bby has joined #ocaml

18:34 noj has joined #ocaml

18:34 munga has joined #ocaml

18:34 orbitz has joined #ocaml

18:34 gildor has joined #ocaml

18:34 haelix has joined #ocaml

18:34 rumbleca_ has joined #ocaml

18:34 srcerer has joined #ocaml

18:34 M| has joined #ocaml

18:34 svenl has joined #ocaml

18:34 maskd has joined #ocaml

18:34 bind_return has joined #ocaml

18:34 demitar has joined #ocaml

18:34 Dodek has joined #ocaml

18:34 hcarty has joined #ocaml

18:34 deavidsedice has joined #ocaml

18:34 schme has joined #ocaml

18:34 julm has joined #ocaml

18:34 xian has joined #ocaml

18:34 ozzloy has joined #ocaml

18:34 tmaeda has joined #ocaml

18:34 TaXules has joined #ocaml

18:34 mehdid has joined #ocaml

18:34 shr3kst3r has joined #ocaml

18:34 hugin has joined #ocaml

18:34 Boney has joined #ocaml

18:34 Amorphous has joined #ocaml

18:34 struktured has joined #ocaml

18:34 safire has joined #ocaml

18:34 tonyIII has joined #ocaml

18:34 det has joined #ocaml

18:34 mal`` has joined #ocaml

18:34 acatout has joined #ocaml

18:34 BigJ has joined #ocaml

18:34 Pepe_ has joined #ocaml

18:34 ertai has joined #ocaml

18:34 brendan has joined #ocaml

18:34 infoe has joined #ocaml

18:34 ygrek has joined #ocaml

18:34 Alpounet has joined #ocaml

18:34 tab_ has joined #ocaml

18:34 smimou has joined #ocaml

18:34 willb has joined #ocaml

18:34 diml has joined #ocaml

18:34 diml has quit [farmer.freenode.net irc.freenode.net]

18:34 Alpounet has quit [farmer.freenode.net irc.freenode.net]

18:34 ygrek has quit [farmer.freenode.net irc.freenode.net]

18:34 tab_ has quit [farmer.freenode.net irc.freenode.net]

18:34 willb has quit [farmer.freenode.net irc.freenode.net]

18:34 smimou has quit [farmer.freenode.net irc.freenode.net]