From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: * X-Spam-Status: No, score=1.1 required=5.0 tests=AWL,MISSING_HEADERS, SPF_NEUTRAL autolearn=disabled version=3.1.3 Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by yquem.inria.fr (Postfix) with ESMTP id 9C3CBBC6B for ; Wed, 7 Nov 2007 20:27:16 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgAAAP6fMUfRVYT7kGdsb2JhbACOfQIBAQcCCBERBQ X-IronPort-AV: E=Sophos;i="4.21,386,1188770400"; d="scan'208";a="19044288" Received: from an-out-0708.google.com ([209.85.132.251]) by mail4-smtp-sop.national.inria.fr with ESMTP; 07 Nov 2007 20:27:16 +0100 Received: by an-out-0708.google.com with SMTP id c24so367200ana for ; Wed, 07 Nov 2007 11:27:15 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=beta; h=domainkey-signature:received:received:message-id:date:from:reply-to:user-agent:mime-version:cc:subject:references:in-reply-to:content-type:content-transfer-encoding; bh=LZi31qI5gB4HsDiLHoeslILfX2XBYHnPcV5eYUdoN/c=; b=hLYJAPQN4bkmvqFZkn8kcRA00J5Oc9Gq9wQvTKLTFN8hW4ucbkcrgGwWoXSZ3gL1ilDyrLoXNw//Nz20jh4Du5u6FaFDUZxSKCUbEAgG2/uSasyXuJaOjukURvQJ8z23RopmGxe5XD37jSRMKBWzF8V4pkhCb5Qbzh/28dmgEBQ= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=beta; h=received:message-id:date:from:reply-to:user-agent:mime-version:cc:subject:references:in-reply-to:content-type:content-transfer-encoding; b=ErMqgMBt8Em9EvsMFrxfNOczOZntvh4a2ffyyTxNcDHqclCMqqA8munZygfAZqtwWlhVkR3HdvGFyCWBq7b7symEEdcFxYiE67a4t9CEM2m/HoVhPXN3ztv10cid1r8r1/tvlBaWzovU7EFyzkiSMLQckoc8/c3mYQO5+WvuNzQ= Received: by 10.100.229.10 with SMTP id b10mr11388068anh.1194463635265; Wed, 07 Nov 2007 11:27:15 -0800 (PST) Received: from ?192.168.1.10? ( [77.197.228.150]) by mx.google.com with ESMTPS id w7sm20863914mue.2007.11.07.11.27.13 (version=TLSv1/SSLv3 cipher=RC4-MD5); Wed, 07 Nov 2007 11:27:13 -0800 (PST) Message-ID: <4732121B.9080807@gmail.com> Date: Wed, 07 Nov 2007 20:29:31 +0100 From: Matthieu Dubuget Reply-To: matthieu.dubuget@gmail.com User-Agent: Thunderbird 2.0.0.6 (X11/20071022) MIME-Version: 1.0 Cc: caml-list@yquem.inria.fr Subject: Re: [Caml-list] Web REPL References: <200711071647.40571.jon@ffconsultancy.com> In-Reply-To: <200711071647.40571.jon@ffconsultancy.com> Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit X-Spam: no; 0.00; matthieu:01 dubuget:01 matthieu:01 dubuget:01 ocaml:01 ocaml:01 caml-list:01 caml:02 tutorial:03 mathematics:06 rather:08 somebody:08 haven't:09 evaluated:10 yet:12 Jon Harrop a écrit : > I haven't found time to get ocamljava working yet but someone pointed out that > it would be rather cool to have an on-line OCaml tutorial where your browser > evaluated OCaml code. Has anyone done anything like this? > I can't find it again right now, but somebody posted a link, last week, I would say, in one of our lists (caml related). It is a french website about mathematics contest training. Ĝis! Matt