From mboxrd@z Thu Jan 1 00:00:00 1970
Return-Path:
Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105])
by sympa.inria.fr (Postfix) with ESMTPS id 2EEA57ED7A
for ; Wed, 22 Aug 2012 17:02:07 +0200 (CEST)
Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender
authenticity information available from domain of
p.donadeo@gmail.com) identity=pra; client-ip=209.85.213.54;
receiver=mail4-smtp-sop.national.inria.fr;
envelope-from="p.donadeo@gmail.com";
x-sender="p.donadeo@gmail.com"; x-conformance=sidf_compatible
Received-SPF: Pass (mail4-smtp-sop.national.inria.fr: domain of
p.donadeo@gmail.com designates 209.85.213.54 as permitted
sender) identity=mailfrom; client-ip=209.85.213.54;
receiver=mail4-smtp-sop.national.inria.fr;
envelope-from="p.donadeo@gmail.com";
x-sender="p.donadeo@gmail.com";
x-conformance=sidf_compatible; x-record-type="v=spf1"
Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender
authenticity information available from domain of
postmaster@mail-yw0-f54.google.com) identity=helo;
client-ip=209.85.213.54;
receiver=mail4-smtp-sop.national.inria.fr;
envelope-from="p.donadeo@gmail.com";
x-sender="postmaster@mail-yw0-f54.google.com";
x-conformance=sidf_compatible
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: ApEJAM/zNFDRVdU2k2dsb2JhbABFhgGiEZIuCCIBAQEBCQkLCRQEI4IgAQEBBBICDx0BGx4DDAYFCw0CAiYCAiEBAREBBQEcBhMih1sBAwyaKwkDi1NPgnKFTwoZJw1XiHEBBQyBFYkEY4YKgRIDk3+BU4sNAwGDJT6EBA
X-IronPort-AV: E=Sophos;i="4.77,808,1336341600";
d="scan'208";a="153595109"
Received: from mail-yw0-f54.google.com ([209.85.213.54])
by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 22 Aug 2012 17:02:06 +0200
Received: by yhfs35 with SMTP id s35so1085752yhf.27
for ; Wed, 22 Aug 2012 08:02:05 -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=gD63peGGHmr1l5KzvHZ+YrXeW3guNBtCWHOduA/zttY=;
b=S0MbxAOBfo3AP83vcRVRDfiwFF+ry02MKKf6FVToqrNbLuEVj0ThB9l2NPUabzd+T9
UXYrfjXiU5uHMvdGE5L2UawHXC9P7+cU8nYbbOHKJUAM0DarnU/pjuWVTapmJ2bNJi5X
8LPE1jKgxvFjr6hnmIQGuXPxGpIRJgYTfL6wmtST8QDJF4QTVGQNCJyGxAtCIXy/5PIh
eHsxhquXyV85dJ0TdHWP4om5M+EjPVrwb3QV8EriIubtA2mG2DTAYsy3SUPHPGYXIYJI
aTIkTgDCOfOYbZqeb4kih/zpkzz8LlTbPckPVlnDxSwcbIjtizJd7eHCPOKJT/Us0xsL
Fosg==
Received: by 10.60.19.67 with SMTP id c3mr16379497oee.106.1345647725192; Wed,
22 Aug 2012 08:02:05 -0700 (PDT)
MIME-Version: 1.0
Received: by 10.60.54.37 with HTTP; Wed, 22 Aug 2012 08:01:24 -0700 (PDT)
In-Reply-To:
References:
From: Paolo Donadeo
Date: Wed, 22 Aug 2012 17:01:24 +0200
Message-ID:
To: OCaml mailing list
Content-Type: text/plain; charset=UTF-8
Subject: Re: [Caml-list] Companies using OCaml
On Wed, Aug 22, 2012 at 4:35 PM, Esther Baruk wrote:
> Thanks for your help !
> I noticed a small typo on your website home page : " Instead of imagining
> that our main task is to instruct a computer what to do ...".
WOW, what an eye! :-)
Interesting is that that quote is present everywhere in the Internet
in the wrong form: http://goo.gl/rlv9m
In any case I just fixed, thanks :-)
--
Paolo