From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <p.donadeo@gmail.com>
Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82])
	by sympa.inria.fr (Postfix) with ESMTPS id 9A48B7ED26
	for <caml-list@sympa.inria.fr>; Thu, 31 May 2012 14:27:09 +0200 (CEST)
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AtoCAERjx0/RVdU2kGdsb2JhbABEhU6eDpAnCCIBAQEBCQkNBxQEI4IPCQEBAQMBEgIPHQEbHgMBCwYFAwEHDSoCAiIBEQEFARwGExoIh1oBAwYFC5pQCQOLUlCCcIRxChknDVeIcQEFDIsFhDSBEgOVGIEPjQc+hAE
X-IronPort-AV: E=Sophos;i="4.75,692,1330902000"; 
   d="scan'208";a="160730247"
Received: from mail-yw0-f54.google.com ([209.85.213.54])
  by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-MD5; 31 May 2012 14:26:59 +0200
Received: by yhgm50 with SMTP id m50so924387yhg.27
        for <caml-list@inria.fr>; Thu, 31 May 2012 05:26:59 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=20120113;
        h=mime-version:in-reply-to:references:from:date:message-id:subject:to
         :content-type;
        bh=AryeknYXljoBe+vrGsLodS1Jg6ts1ccPT9StaWfd6Y4=;
        b=K3+Ae1wnCZrbmVqiDLCJbH90d3SOdAo0h0DXo8LWTv2k94SYnwVViJaOv92ioZZJoY
         eC9MVUoqhHqKWW689kY+qB61WjUAc7VkCKBwY81Fq1djXCoNzi7ZJpyLhcGjCwL9wjx7
         xfD3R/cvTZUt8doX9xcLWyjIgUI+cWCXBuF+pPH1yGAMfRgDwYZ1w0MqN038u6ZrTIfm
         gJJStoyHmf3JO56lXa4M4mbLlBZN4IoAi/6dufjtFvEjuVtesaD0gb77WWE13ofm2lyc
         Blhx38M/qaZjDFRwrlEDy1rnI1TtzszOLBDnkATJoQsj66y52ZKVKSZ0cBck+ZDK/PMK
         dOGw==
Received: by 10.60.21.36 with SMTP id s4mr8689113oee.61.1338467218866; Thu, 31
 May 2012 05:26:58 -0700 (PDT)
MIME-Version: 1.0
Received: by 10.60.125.233 with HTTP; Thu, 31 May 2012 05:26:18 -0700 (PDT)
In-Reply-To: <20120531081913.GA26742@securactive.lan>
References: <CAH2fdNZ+-COr_HWoD_q1JS2uV1syRfaXkncokrtdxD45qyZnCQ@mail.gmail.com>
 <jptm5g$bul$1@dough.gmane.org> <4FC61595.6070009@frisch.fr>
 <1338385022.96299.YahooMailRC@web180009.mail.gq1.yahoo.com>
 <4FC62BCA.4030108@gmail.com> <CAPzAKVDmbCAkK4zpVKgf_P-a+ztjZZCs4o0s3KAcGsuKQMdanw@mail.gmail.com>
 <20120531081913.GA26742@securactive.lan>
From: Paolo Donadeo <p.donadeo@gmail.com>
Date: Thu, 31 May 2012 14:26:18 +0200
Message-ID: <CAPzAKVBUcE3YjZkoxcXVxEAfT7E+m-6-YQAYVh-OOG_AmoivcA@mail.gmail.com>
To: OCaml mailing list <caml-list@inria.fr>
Content-Type: multipart/alternative; boundary=e89a8ff1c7ca1fc39f04c1542f8b
Subject: Re: [Caml-list] Re: Syntax extensions without Camlp4


--e89a8ff1c7ca1fc39f04c1542f8b
Content-Type: text/plain; charset=UTF-8

On Thu, May 31, 2012 at 10:19 AM, <rixed@happyleptic.org> wrote:
>
>  > I didn't know. Where is it?
> https://github.com/bobzhang/ocaml-book


Thanks, just cloned :-)

Out of curiosity, does anyone have news about Real World
OCaml<http://realworldocaml.org/>,
by Jason Hickey, Anil Madhavapeddy and Yaron Minsky, that is supposed to be
available this Autumn? The Twitter
channel<https://twitter.com/#!/realworldocaml>is threateningly silent:
is the project still alive?


-- 
*Paolo*

--e89a8ff1c7ca1fc39f04c1542f8b
Content-Type: text/html; charset=UTF-8
Content-Transfer-Encoding: quoted-printable

<div class=3D"gmail_quote">On Thu, May 31, 2012 at 10:19 AM,  <span dir=3D"=
ltr">&lt;<a href=3D"mailto:rixed@happyleptic.org" target=3D"_blank">rixed@h=
appyleptic.org</a>&gt;</span> wrote:<blockquote class=3D"gmail_quote" style=
=3D"margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">


<div>
&gt; I didn&#39;t know. Where is it?<br>
</div><a href=3D"https://github.com/bobzhang/ocaml-book" target=3D"_blank">=
https://github.com/bobzhang/ocaml-book</a></blockquote><div><br></div><div>=
Thanks, just cloned :-)</div></div><div><div><br></div><div>Out of curiosit=
y, does anyone have news about <a href=3D"http://realworldocaml.org/">Real =
World OCaml</a>, by Jason Hickey, Anil Madhavapeddy and Yaron Minsky, that =
is supposed to be available this Autumn? The <a href=3D"https://twitter.com=
/#!/realworldocaml">Twitter channel</a> is threateningly silent: is the pro=
ject still alive?</div>

</div><br clear=3D"all"><div><br></div>-- <br><i>Paolo</i><br>

--e89a8ff1c7ca1fc39f04c1542f8b--