From mboxrd@z Thu Jan 1 00:00:00 1970 X-Sympa-To: caml-list@inria.fr Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id pBHDH0RX002338 for ; Sat, 17 Dec 2011 14:17:00 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: ArMBALSV7E7RVdc2kGdsb2JhbABDhQymQwgiAQEBAQkJDQcUBCGBcgEBAQQSAg8dATcBAQMMAQUFGAkWCwICAgcDAgECASIBBQEcEwEHAQEeh1oGmisKix2DM4RFiTACBQuIX4IEgRYEjiOBFoVFhU6BNIZ2PYFNgi0 X-IronPort-AV: E=Sophos;i="4.71,368,1320620400"; d="vcf'?scan'208";a="123753485" Received: from mail-lpp01m010-f54.google.com ([209.85.215.54]) by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 17 Dec 2011 14:16:55 +0100 Received: by lahl5 with SMTP id l5so3188806lah.27 for ; Sat, 17 Dec 2011 05:16:54 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=sender:message-id:date:from:user-agent:mime-version:to:cc:subject :references:in-reply-to:x-enigmail-version:content-type; bh=Nj7alBMMpJcbtOrHv9sMEiesm9hhp6UgyX1Wg7dHK3M=; b=QtndlXOEj2aswA1qyydLQZ6M9eUqd/1v304Yn9S1q+f6tIUIdX0b2n8KIh7TcQFtNE +/PwDAjM0iJx62nDDJO95PZhDztlu7KFLP+VtJY5GHuOvdq3xHhePOvXhxWmSNYS0kxp U8bSCfQw+UHtTS7wtgiJ1uQ9JkllTc12CApXg= Received: by 10.152.122.168 with SMTP id lt8mr8901213lab.12.1324127814229; Sat, 17 Dec 2011 05:16:54 -0800 (PST) Received: from [192.168.0.29] (gov91-4-83-152-214-51.fbx.proxad.net. [83.152.214.51]) by mx.google.com with ESMTPS id mq11sm11187525lab.11.2011.12.17.05.16.51 (version=SSLv3 cipher=OTHER); Sat, 17 Dec 2011 05:16:52 -0800 (PST) Sender: Fabrice Le Fessant Message-ID: <4EEC9641.5090507@inria.fr> Date: Sat, 17 Dec 2011 14:16:49 +0100 From: Fabrice Le Fessant User-Agent: Mozilla/5.0 (X11; U; Linux x86_64; en-US; rv:1.9.2.23) Gecko/20110922 Lightning/1.0b2 Thunderbird/3.1.15 MIME-Version: 1.0 To: caml-list@inria.fr CC: =?UTF-8?B?w4dhZ2RhcyBCb3ptYW4=?= References: <00d101ccbc28$09440c30$1bcc2490$@ffconsultancy.com> In-Reply-To: X-Enigmail-Version: 1.1.2 Content-Type: multipart/mixed; boundary="------------070306080102010205060808" X-Validation-by: fabrice.le_fessant@inria.fr Subject: Re: [Caml-list] Don't forget the user This is a multi-part message in MIME format. --------------070306080102010205060808 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 7bit Cagdas Bozman is already working on a "tryocaml" website, I will ask him if he can make a public repository for it on github. I think he based his work on js_of_ocaml toplevel, with a few enhancements. --Fabrice On 12/16/2011 09:02 PM, Andrej Bauer wrote: > Here it is: > > http://ocsigen.org/js_of_ocaml/files/toplevel/index.html > > How many bells & whistles would we have to make a "try it" web page? A > pretty CSS, a bit of javascrip to avoid submitting forms, and it could > look like an actual toplevel. > --------------070306080102010205060808 Content-Type: text/x-vcard; charset=utf-8; name="fabrice_le_fessant.vcf" Content-Transfer-Encoding: base64 Content-Disposition: attachment; filename="fabrice_le_fessant.vcf" YmVnaW46dmNhcmQNCmZuOkZhYnJpY2UgTEUgRkVTU0FOVA0KbjpMRSBGRVNT QU5UO0ZhYnJpY2UNCm9yZzpJTlJJQSBTYWNsYXkgLS0gSWxlLWRlLUZyYW5j ZTtQMlAgJiBPQ2FtbA0KYWRyO3F1b3RlZC1wcmludGFibGU6OztQYXJjIE9y c2F5IFVuaXZlcnNpdD1DMz1BOSA7T3JzYXkgQ0VERVg7OzkxODkzO0ZyYW5j ZQ0KZW1haWw7aW50ZXJuZXQ6ZmFicmljZS5sZV9mZXNzYW50QGlucmlhLmZy DQp0aXRsZTtxdW90ZWQtcHJpbnRhYmxlOkNoYXJnPUMzPUE5IGRlIFJlY2hl cmNoZQ0KdGVsO3dvcms6KzMzIDEgNzQgODUgNDIgMTQNCnRlbDtmYXg6KzMz IDEgNzQgODUgNDIgNDkgDQp1cmw6aHR0cDovL2ZhYnJpY2UubGVmZXNzYW50 Lm5ldC8NCnZlcnNpb246Mi4xDQplbmQ6dmNhcmQNCg0K --------------070306080102010205060808--