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=0.0 required=5.0 tests=AWL autolearn=disabled version=3.1.3 Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by yquem.inria.fr (Postfix) with ESMTP id B0A38BB84 for ; Fri, 26 Sep 2008 20:59:48 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: ApoEAEvO3EhbucRE/2dsb2JhbAC9ZoFk X-IronPort-AV: E=Sophos;i="4.33,316,1220220000"; d="scan'208";a="15395898" Received: from post.literal.si ([91.185.196.68]) by mail2-smtp-roc.national.inria.fr with ESMTP; 26 Sep 2008 20:59:48 +0200 Received: from localhost (post.literal.si [91.185.196.68]) by post.literal.si (Postfix) with ESMTP id D7D5410E4866; Fri, 26 Sep 2008 20:59:47 +0200 (CEST) X-Virus-Scanned: amavisd-new at literal.si Received: from post.literal.si ([91.185.196.68]) by localhost (post.literal.si [91.185.196.68]) (amavisd-new, port 10024) with ESMTP id BG4lFN+ElnC8; Fri, 26 Sep 2008 20:59:47 +0200 (CEST) Received: from [192.168.1.100] (BSN-77-148-136.static.dsl.siol.net [193.77.148.136]) by post.literal.si (Postfix) with ESMTP id 100A110E4865; Fri, 26 Sep 2008 20:59:47 +0200 (CEST) Message-ID: <48DD3122.7060708@andrej.com> Date: Fri, 26 Sep 2008 20:59:46 +0200 From: Andrej Bauer Reply-To: Andrej.Bauer@andrej.com User-Agent: Thunderbird 2.0.0.16 (X11/20080724) MIME-Version: 1.0 To: yminsky@gmail.com, caml-list Subject: Re: [Caml-list] Teaching ocaml programming References: <48DCC7B8.4070700@fmf.uni-lj.si> <23DFDBA7-C437-44E7-8495-D35F396A3889@cs.berkeley.edu> <48DCD870.5020202@fmf.uni-lj.si> <891bd3390809261044x2bcf2a70mf44b828b288c627@mail.gmail.com> In-Reply-To: <891bd3390809261044x2bcf2a70mf44b828b288c627@mail.gmail.com> Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 7bit X-Spam: no; 0.00; andrej:01 andrej:01 ocaml:01 yaron:01 minsky:01 wrote:01 caml-list:01 programming:03 teaching:08 bauer:09 bauer:09 but:14 unable:24 com:74 where:26 Yaron Minsky wrote: > Have you considered DrOCaml? Yes, but I am unable to find it. Where is it? Andrej