caml-list - the Caml user's mailing list
 help / color / mirror / Atom feed
From: Thomas Sibut-Pinote <thomas.sibutpinote@ens-lyon.fr>
To: jon@ffconsultancy.com
Cc: Caml List <caml-list@inria.fr>
Subject: Re: [Caml-list] OCaml on Android
Date: Wed, 18 Sep 2013 12:06:51 +0200	[thread overview]
Message-ID: <52397B3B.9030809@ens-lyon.fr> (raw)
In-Reply-To: <036501ceb3e5$bcd7b920$36872b60$@ffconsultancy.com>

Le 17/09/2013 22:37, Jon Harrop a écrit :
>  
>
> What is the status of OCaml on Android? Have any Android apps been written
> in OCaml?
>
>  
>
I'm not sure if this anwers your question, but someone wrote an Ocaml 
toplevel for Android:
http://vernoux.fr/2011/11/11/ocaml-toplevel-for-android/
https://play.google.com/store/apps/details?id=fr.vernoux.ocaml

  parent reply	other threads:[~2013-09-18 10:06 UTC|newest]

Thread overview: 18+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2013-09-17 20:37 Jon Harrop
2013-09-18 10:02 ` Anil Madhavapeddy
2013-09-18 10:06   ` Paolo Donadeo
2013-09-18 10:06 ` Thomas Sibut-Pinote [this message]
2013-09-19  3:13 ` Kristopher Micinski
2013-09-19  3:35   ` Ivan Gotovchits
2013-09-19  4:35     ` Kristopher Micinski
2013-09-19  6:19       ` forum
2013-09-19 15:18         ` Kristopher Micinski
2013-09-19 16:53           ` Alexandre Pilkiewicz
2013-09-19 20:57             ` Kristopher Micinski
2013-09-19 23:14               ` Jon Harrop
2013-09-20  6:20           ` forum
2013-09-19 12:46 ` Richard Mortier
2013-09-20  6:17   ` forum
  -- strict thread matches above, loose matches on Subject: below --
2012-01-13  6:05 Mihamina Rakotomandimby
2012-01-16  7:39 ` Andrej Bauer
2012-01-16  8:59 ` Kakadu

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=52397B3B.9030809@ens-lyon.fr \
    --to=thomas.sibutpinote@ens-lyon.fr \
    --cc=caml-list@inria.fr \
    --cc=jon@ffconsultancy.com \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).