From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <daniel.c.buenzli@gmail.com>
X-Original-To: caml-list@yquem.inria.fr
Delivered-To: caml-list@yquem.inria.fr
Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82])
	by yquem.inria.fr (Postfix) with ESMTP id 6423ABBAF
	for <caml-list@yquem.inria.fr>; Tue,  9 Nov 2010 11:56:58 +0100 (CET)
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AhEBAEO42EzRVaC0k2dsb2JhbACDOJ5eCBUBAQEBCQkKCREDH6QXiSSCVIVQiQcBAQMFgR2DNXMEilWJJw
X-IronPort-AV: E=Sophos;i="4.59,174,1288566000"; 
   d="scan'208";a="86587360"
Received: from mail-gy0-f180.google.com ([209.85.160.180])
  by mail1-smtp-roc.national.inria.fr with ESMTP; 09 Nov 2010 11:56:53 +0100
Received: by gyg8 with SMTP id 8so4138795gyg.39
        for <caml-list@yquem.inria.fr>; Tue, 09 Nov 2010 02:56:52 -0800 (PST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=gamma;
        h=domainkey-signature:mime-version:received:sender:received
         :in-reply-to:references:date:x-google-sender-auth:message-id:subject
         :from:to:cc:content-type;
        bh=M867sswCxj8REu8trjnwwHwJ2k7rI1Wk96hc98qzD04=;
        b=nixRM/fOkFLpcALVZzp1ftLfvBaZgKdZIcqbmCnmrkT/YY5TKcRawnD9jx3qSj7/6p
         SEq2w95O9N9H5d8+//6no0VwqvPRFDDhWB4JutLnpTOkBCfkoO8k0yNoS+BWhd5KB3vy
         sYzWrg+5HMJrLoxd9jYhYFRQ4Kir/aLl+Mh+s=
DomainKey-Signature: a=rsa-sha1; c=nofws;
        d=gmail.com; s=gamma;
        h=mime-version:sender:in-reply-to:references:date
         :x-google-sender-auth:message-id:subject:from:to:cc:content-type;
        b=lHENfQgp3X7wV3E6VJ0J3h2uzzwxqkFRZQ4/C+3IhbNO5nw+yHxJkP8UJHM3MS+XK0
         KbH4rwE6yjsVH+BEkrUqMMMhHlNs+V2o7hW2+pYFRsjfZTmwaxjJcpzqZe5mIRUB/5pw
         ZacJfO0myuQcD8AE0F0Duj301VLNpZyOVSBjA=
MIME-Version: 1.0
Received: by 10.229.236.193 with SMTP id kl1mr6349223qcb.37.1289300210670;
 Tue, 09 Nov 2010 02:56:50 -0800 (PST)
Sender: daniel.c.buenzli@gmail.com
Received: by 10.229.91.136 with HTTP; Tue, 9 Nov 2010 02:56:50 -0800 (PST)
In-Reply-To: <48266A94-EE4F-4C15-AD75-86BD49FA20C8@gmail.com>
References: <FA50E461-92D5-492F-B6B4-66745A6A3D6A@kimmitt.co.uk>
	<48266A94-EE4F-4C15-AD75-86BD49FA20C8@gmail.com>
Date: Tue, 9 Nov 2010 11:56:50 +0100
X-Google-Sender-Auth: VMvjeuGqEbq7C4caJOeJRamdB88
Message-ID: <AANLkTik2NtgAGRuaHux4fSmGKj-eoFOeL0MynNnhP8Kk@mail.gmail.com>
Subject: Re: [Caml-list] Type Safety comes to the iPad
From: =?UTF-8?Q?Daniel_B=C3=BCnzli?= <daniel.buenzli@erratique.ch>
To: Vincent Aravantinos <vincent.aravantinos@gmail.com>
Cc: caml-list@yquem.inria.fr
Content-Type: text/plain; charset=UTF-8
X-Spam: no; 0.00; buenzli:01 u-tokyo:01 caml-list:01 daniel:04 daniel:04 tools:13 type:14 use:16 there:18 which:22 safety:24 the:27 comes:31 few:33 are:33 

> Which tools did you use?

There are a few instructions here [1].

Best,

Daniel

[1] http://web.yl.is.s.u-tokyo.ac.jp/~tosh/ocaml-on-iphone/