From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 0F8837EE49 for ; Thu, 19 Sep 2013 14:46:14 +0200 (CEST) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of richard.mortier@gmail.com) identity=pra; client-ip=74.125.82.46; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="richard.mortier@gmail.com"; x-sender="richard.mortier@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of richard.mortier@gmail.com designates 74.125.82.46 as permitted sender) identity=mailfrom; client-ip=74.125.82.46; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="richard.mortier@gmail.com"; x-sender="richard.mortier@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-wg0-f46.google.com) identity=helo; client-ip=74.125.82.46; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="richard.mortier@gmail.com"; x-sender="postmaster@mail-wg0-f46.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AqABADbxOlJKfVIum2dsb2JhbABbgz9SgmO/YQgWDgEBAQEBBgsLCRQogiUBAQVAATgBAwwBBQULDS4iEgEFARwGE4dxAw8Mmx2PWIQ1Jw2JXAEBBAyUAAOXfJAMGCmBYYJsOw X-IPAS-Result: AqABADbxOlJKfVIum2dsb2JhbABbgz9SgmO/YQgWDgEBAQEBBgsLCRQogiUBAQVAATgBAwwBBQULDS4iEgEFARwGE4dxAw8Mmx2PWIQ1Jw2JXAEBBAyUAAOXfJAMGCmBYYJsOw X-IronPort-AV: E=Sophos;i="4.90,936,1371074400"; d="scan'208";a="27408541" Received: from mail-wg0-f46.google.com ([74.125.82.46]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 19 Sep 2013 14:46:13 +0200 Received: by mail-wg0-f46.google.com with SMTP id k14so7874596wgh.25 for ; Thu, 19 Sep 2013 05:46:13 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:sender:in-reply-to:references:date:message-id:subject :from:to:cc:content-type; bh=2uLljB28LkZd3AdYuw0QOsYLBY4il7uZHI0k/99Wt2w=; b=mUhcND7Fv4N3vCtr0dNKiuAJHsxdL/h53ryVL/QxIlOJ31b28fLEGaPA8FcQGuSZ1g D+qD0mEZeDAibokwuqfKbvnpM7EZS25+kRVWUjf/KdBmfF8AvxqnVtycnsOmt/hCVu2C 2D9/0jIW1tOC1QExIX3ARrGo1xYYV6ey9It2qU/sHhOyqA3ptBx8O6MEyIoZCwv6n0bv FcxE/Nh6IhOrdt6ISp5W7yQuS5/h5Uf2YLmXV1fu4Jn+FXBPdGK+oJEEwr4AH5BxE6rk d+oORn3QXn3K+MS8mpZUQ6/qM71q1hJNsXC+QIu8sKrJBARmTyqPT5V19Y54Xa2kKkM0 fb6g== MIME-Version: 1.0 X-Received: by 10.180.39.134 with SMTP id p6mr1213972wik.9.1379594773392; Thu, 19 Sep 2013 05:46:13 -0700 (PDT) Sender: richard.mortier@gmail.com Received: by 10.216.19.202 with HTTP; Thu, 19 Sep 2013 05:46:13 -0700 (PDT) In-Reply-To: <036501ceb3e5$bcd7b920$36872b60$@ffconsultancy.com> References: <036501ceb3e5$bcd7b920$36872b60$@ffconsultancy.com> Date: Thu, 19 Sep 2013 13:46:13 +0100 X-Google-Sender-Auth: eLUEj_E18vPhmkgYded_nkrV5dg Message-ID: From: Richard Mortier To: Jon Harrop Cc: Caml List Content-Type: text/plain; charset=ISO-8859-1 Subject: Re: [Caml-list] OCaml on Android On 17 September 2013 21:37, Jon Harrop wrote: > > > What is the status of OCaml on Android? Have any Android apps been written > in OCaml? a colleague here ported cadmium to android a while back. don't know how relevant/working it still is though. https://github.com/dominicjprice/joecaml -- Richard Mortier mort@cantab.net