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 p34GHc6j014693 for ; Mon, 4 Apr 2011 18:17:38 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgoCAG3umU1KfVI0kGdsb2JhbAClWggUAQEBAQkJDQcUBCGlQIpWgiOENC+IXAEBAwWFZgSNI4NbdYRJOg X-IronPort-AV: E=Sophos;i="4.63,298,1299452400"; d="scan'208";a="104941219" Received: from mail-ww0-f52.google.com ([74.125.82.52]) by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 04 Apr 2011 18:17:33 +0200 Received: by wwe15 with SMTP id 15so8081388wwe.9 for ; Mon, 04 Apr 2011 09:17:33 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:message-id:date:from:user-agent:mime-version:to :cc:subject:references:in-reply-to:content-type :content-transfer-encoding; bh=v12InoGiiYf+5oVAfRhLiFq7I2AKQ8Ddi+wL9NTR0nY=; b=Paa+20kMoBbGpUAqqhoPK6L2WYTMSZCDurJPAarS7Sqh6nQEM4Sdof6IRnxlCNzOuK bvLMgiuTJfau6AlAy76WSiycwEf11XW+AlNE6o0p+ynwFeHiomybOHHKVQIGROjppyOw lK3k1Pp0AfWdDufD0BXLsDdAgJYJK33E7HqTQ= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=message-id:date:from:user-agent:mime-version:to:cc:subject :references:in-reply-to:content-type:content-transfer-encoding; b=HMJf0vcQEHyCPJ7ahYzzMKIkCod6+6fDen4DRLlj7f4TBk4pruSxcPrBytHvagC99Q WSA/sMZmhPVy2F4Z5OBk6qPMoe7RNZ1prudfGFqdlCNBKAa6zzJBp4Q7d16j/8qSQc2n EkNi67vLicTU1BptEGO2Nga+9WWwuvfnjewwo= Received: by 10.227.32.69 with SMTP id b5mr7378075wbd.99.1301933852669; Mon, 04 Apr 2011 09:17:32 -0700 (PDT) Received: from [192.168.1.80] ([93.7.165.145]) by mx.google.com with ESMTPS id w12sm2846590wby.24.2011.04.04.09.17.30 (version=SSLv3 cipher=OTHER); Mon, 04 Apr 2011 09:17:31 -0700 (PDT) Message-ID: <4D99EF19.2090402@gmail.com> Date: Mon, 04 Apr 2011 18:17:29 +0200 From: Andrew User-Agent: Mozilla/5.0 (Windows; U; Windows NT 6.1; fr; rv:1.9.2.15) Gecko/20110303 Lightning/1.0b2 Thunderbird/3.1.9 MIME-Version: 1.0 To: Jerome Vouillon CC: caml-list@inria.fr References: <20110404125959.GA29154@pps.jussieu.fr> In-Reply-To: <20110404125959.GA29154@pps.jussieu.fr> Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit Subject: Re: [Caml-list] [ANN] The OCaml interactive toplevel in your Web browser On Apr. 04, 2011, Jerome Vouillon wrote: > > You can now try the OCaml toplevel online: (...) > Your code is executed in the Web browser, not on some remote server. Awesome! Congratulations.