From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <raould@gmail.com>
X-Original-To: caml-list@sympa.inria.fr
Delivered-To: caml-list@sympa.inria.fr
Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83])
	by sympa.inria.fr (Postfix) with ESMTPS id AF65B7EF28
	for <caml-list@sympa.inria.fr>; Fri, 26 Jun 2015 23:28:44 +0200 (CEST)
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  raould@gmail.com) identity=pra; client-ip=209.85.214.179;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="raould@gmail.com";
  x-sender="raould@gmail.com"; x-conformance=sidf_compatible
Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of
  raould@gmail.com designates 209.85.214.179 as permitted
  sender) identity=mailfrom; client-ip=209.85.214.179;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="raould@gmail.com";
  x-sender="raould@gmail.com"; x-conformance=sidf_compatible;
  x-record-type="v=spf1"
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  postmaster@mail-ob0-f179.google.com) identity=helo;
  client-ip=209.85.214.179;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="raould@gmail.com";
  x-sender="postmaster@mail-ob0-f179.google.com";
  x-conformance=sidf_compatible
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: A0CuBABDw41VlLPWVdFbhEQGgxipP4YPkiACgTgHTAEBAQEBARIBAQEBBwsLCR8wQQODXwEBAwESER0BGx4DAQsGBQsPAiYCAiIBEQEFARwGNYd3AQMKCKxpPjGLP4FrgnmKagoZJw1XhR0BAQgCARkBBQ6BE4ophQ2CaIFDBYwRb4cEi1KBOocdjhYSI4EVF4IbHIFyHjGCSAEBAQ
X-IPAS-Result: A0CuBABDw41VlLPWVdFbhEQGgxipP4YPkiACgTgHTAEBAQEBARIBAQEBBwsLCR8wQQODXwEBAwESER0BGx4DAQsGBQsPAiYCAiIBEQEFARwGNYd3AQMKCKxpPjGLP4FrgnmKagoZJw1XhR0BAQgCARkBBQ6BE4ophQ2CaIFDBYwRb4cEi1KBOocdjhYSI4EVF4IbHIFyHjGCSAEBAQ
X-IronPort-AV: E=Sophos;i="5.13,686,1427752800"; 
   d="scan'208";a="167527682"
Received: from mail-ob0-f179.google.com ([209.85.214.179])
  by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 26 Jun 2015 23:28:44 +0200
Received: by obbkm3 with SMTP id km3so74629892obb.1
        for <caml-list@inria.fr>; Fri, 26 Jun 2015 14:28:42 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=20120113;
        h=mime-version:in-reply-to:references:date:message-id:subject:from:to
         :content-type;
        bh=JWJsyG+VGSQMwZrYOsgZYksdA4AouA0GClhW3qvnGIA=;
        b=W8VTT1owdpNne7Ph4uIJngRZsgTOIX8QDywjyCLAjdcDmCqeZxWeg+Ylr+vmyoy8EZ
         o6/wmKlNSR880MDBw1XCIq/LBETP5d0ZdOeqdWwrwsIhz88SaL4zpAS3mJYkBh6UZwrG
         7IObXjZlIvBX136ZayXiRXMf+JldGPNeEvoT4NAjvDiLoVU1w3k8k9dMWGxiaMP98LHU
         C4J0ufadXR1GpXSOiBOZ1+WtwGDPM7xMFm5fw0yEV0E9YQx837+ITSg5dddX1TnptaqT
         ypy6O/QxrgY6MJGbowGrdNivC5Q02Kn16SG3XnSyC37c9SYwojEgzolAIveIwMtQTBa3
         k0kw==
MIME-Version: 1.0
X-Received: by 10.182.181.103 with SMTP id dv7mr844703obc.25.1435354122522;
 Fri, 26 Jun 2015 14:28:42 -0700 (PDT)
Received: by 10.182.226.168 with HTTP; Fri, 26 Jun 2015 14:28:42 -0700 (PDT)
In-Reply-To: <CAK7rcp_TSyi8DEG3hwfWznR7Ye_TU0BYkXbFSwkf87Nr2uKc3Q@mail.gmail.com>
References: <CAJ7XQb7vBHrWhHgQvyZMr78Px2bsntvcP=D38JPQtdf18e-zzQ@mail.gmail.com>
	<CAK7rcp_TSyi8DEG3hwfWznR7Ye_TU0BYkXbFSwkf87Nr2uKc3Q@mail.gmail.com>
Date: Fri, 26 Jun 2015 14:28:42 -0700
Message-ID: <CAJ7XQb4Z1AoDDoaG+6B5qPcw3qBpkFv8saxqp=HsZoSo98VKwA@mail.gmail.com>
From: Raoul Duke <raould@gmail.com>
To: OCaml <caml-list@inria.fr>
Content-Type: text/plain; charset=UTF-8
Subject: Re: [Caml-list] jocaml?

> Did you ever read anything like that?

I haven't, I'm so far still a simpleton in the land of process calculi.