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 pBGKHUYY018028 for ; Fri, 16 Dec 2011 21:17:30 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AtwAAEam607RVdQ2kGdsb2JhbABEhQyaVQOLaQgiAQEBAQkJDQcUBCGBcgEBAQQSAg9WEAEKCw0CAiYCAiISAQUBHAYTCBqHYJp7CosdiFaJBYEviT+BFgSINIxCjXc9hBY X-IronPort-AV: E=Sophos;i="4.71,365,1320620400"; d="scan'208";a="135793616" Received: from mail-vw0-f54.google.com ([209.85.212.54]) by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 16 Dec 2011 21:17:24 +0100 Received: by vbbfr13 with SMTP id fr13so4756200vbb.27 for ; Fri, 16 Dec 2011 12:17:20 -0800 (PST) Received: by 10.52.76.40 with SMTP id h8mr7322610vdw.72.1324066640203; Fri, 16 Dec 2011 12:17:20 -0800 (PST) MIME-Version: 1.0 Sender: hcarty@mulethief.com Received: by 10.52.88.132 with HTTP; Fri, 16 Dec 2011 12:16:59 -0800 (PST) In-Reply-To: References: <00d101ccbc28$09440c30$1bcc2490$@ffconsultancy.com> From: "Hezekiah M. Carty" Date: Fri, 16 Dec 2011 15:16:59 -0500 X-Google-Sender-Auth: vpuWnTvw5bCAPgfS1SwLdRdoaFU Message-ID: To: Andrej Bauer Cc: caml-list@inria.fr Content-Type: text/plain; charset=UTF-8 Subject: Re: [Caml-list] Don't forget the user On Fri, Dec 16, 2011 at 3:02 PM, Andrej Bauer wrote: > Here it is: > > http://ocsigen.org/js_of_ocaml/files/toplevel/index.html > Another using the Cadmium (http://cadmium.x9c.fr/): http://ocamljava.x9c.fr/toplevel/toplevel.html Hez