From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id pBHE89qQ003991 for ; Sat, 17 Dec 2011 15:08:09 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AqQEAPSg7E7RVdQ2kGdsb2JhbABDhQyaVgECi2oIIgEBAQEJCQ0HFAQhgXIBAQEEEgIPHQEbHgMMBgULDQICJgICIgERAQUBHAYTCBqHYJoaCosdSIJrhD4/iHECBQuBJIk/gRYElH6NeD2Deg X-IronPort-AV: E=Sophos;i="4.71,368,1320620400"; d="scan'208";a="135852658" Received: from mail-vw0-f54.google.com ([209.85.212.54]) by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 17 Dec 2011 15:08:04 +0100 Received: by vbbfr13 with SMTP id fr13so5391168vbb.27 for ; Sat, 17 Dec 2011 06:08:03 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=mime-version:in-reply-to:references:from:date:message-id:subject:to :content-type:content-transfer-encoding; bh=a9ndBl6+a9G9W3oq48sVKvJ6T4PTQnNmzBJmG/f027g=; b=omcax2I2Dn0I32iOPq6eH0KO0gTrTqklpbTtSF0DKomjWYHlnx4rM9ihAfn58ZskvQ hBrrYMcSsjWKwafrF6+5pcDPsS5B9Qnqpx3MLK9Kuga+pw2tyhcP20IwGRxRpy0gm1TL YBJRzWsJXSlrIDyj/Rsu7K22qHSJlXlxSENW4= Received: by 10.52.26.14 with SMTP id h14mr8160739vdg.132.1324130882207; Sat, 17 Dec 2011 06:08:02 -0800 (PST) MIME-Version: 1.0 Received: by 10.52.114.136 with HTTP; Sat, 17 Dec 2011 06:07:21 -0800 (PST) In-Reply-To: References: <00d101ccbc28$09440c30$1bcc2490$@ffconsultancy.com> From: Paolo Donadeo Date: Sat, 17 Dec 2011 15:07:21 +0100 Message-ID: To: OCaml mailing list Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit X-MIME-Autoconverted: from quoted-printable to 8bit by walapai.inria.fr id pBHE89qQ003991 Subject: Re: [Caml-list] Don't forget the user On Fri, Dec 16, 2011 at 21:12, Thomas Gazagnaire wrote: > Çagdas Bozman has just started a similar project: > https://github.com/cago/tryocaml > http://bozman.cagdas.free.fr/tryocaml/ Very nice work! -- Paolo