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.6 required=5.0 tests=AWL,HTML_MESSAGE,SPF_NEUTRAL autolearn=disabled version=3.1.3 Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by yquem.inria.fr (Postfix) with ESMTP id 37638BC69 for ; Wed, 5 Dec 2007 17:03:20 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AswMAL5aVkdA6bLwf2dsb2JhbACCPDYzjDIBAQkEBRI X-IronPort-AV: E=Sophos;i="4.23,254,1194217200"; d="scan'208";a="6508795" Received: from discorde.inria.fr ([192.93.2.38]) by mail3-smtp-sop.national.inria.fr with ESMTP; 05 Dec 2007 17:03:20 +0100 Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id lB5G3IWR003209 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Wed, 5 Dec 2007 17:03:19 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AswMAL5aVkdA6bLwf2dsb2JhbACCPDYzjDIBAQkEBRI X-IronPort-AV: E=Sophos;i="4.23,254,1194217200"; d="scan'208";a="6508793" Received: from hs-out-0708.google.com (HELO hs-out-2122.google.com) ([64.233.178.240]) by mail3-smtp-sop.national.inria.fr with ESMTP; 05 Dec 2007 17:03:19 +0100 Received: by hs-out-2122.google.com with SMTP id n78so582289hsc for ; Wed, 05 Dec 2007 08:03:18 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:received:received:message-id:date:from:to:subject:in-reply-to:mime-version:content-type:references; bh=d22Y3qDk+ke/g+3K0hMGKJhsyxkgprEMcIXwDEv3ZyM=; b=q0AsjLri/xMfahRnJElZsTmxIlmcFB1pg1p2AdWmeElP8/uRwVc/r8EO0PzSz2wm37dnZMlUVhPEBfWTHoZt+N23lzCzU0iDthhBRr18uB7bbZ5tPXNUVi8CkphflWun5SmVuunWMmJrhh2fjyHqZjqwj2RNhD1mIFSbfX12JSg= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=received:message-id:date:from:to:subject:in-reply-to:mime-version:content-type:references; b=KsFiIG32TDjq8aVu+5J3s7mpZltxIkyoHQl4YZh1piP3WHiY0Rxx0pu1te79if//nWP6DOK2E1A3aVGjnkSg2+NY9E76OSn9pyo+ViPN5giqWdFLrBOGkpfMRtB3WfHQw3icbAUPIcAFFukSLcaz4SiwY8i1Y5KKloqIhx6HOKA= Received: by 10.78.204.1 with SMTP id b1mr754060hug.1196870595403; Wed, 05 Dec 2007 08:03:15 -0800 (PST) Received: by 10.78.180.12 with HTTP; Wed, 5 Dec 2007 08:03:09 -0800 (PST) Message-ID: Date: Wed, 5 Dec 2007 11:03:09 -0500 From: "Ashish Agarwal" To: caml-list@inria.fr Subject: Re: [Caml-list] Ocaml code for Okasaki's "Purely Functional Data Structures" In-Reply-To: <4b5157c30712050301o386a778ctaf1e06ff54d550fb@mail.gmail.com> MIME-Version: 1.0 Content-Type: multipart/alternative; boundary="----=_Part_2084_4933385.1196870595284" References: <20071205215030.28c91898.mle+ocaml@mega-nerd.com> <4b5157c30712050301o386a778ctaf1e06ff54d550fb@mail.gmail.com> X-Miltered: at discorde with ID 4756CBC6.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; ocaml:01 okasaki's:01 ocaml:01 markus:01 mottl:01 markus:01 mottl's:01 mottl:01 mottl's:01 1975:98 caml-list:01 purely:02 data:02 structures:02 functional:02 ------=_Part_2084_4933385.1196870595284 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit Content-Disposition: inline > Try here, it's the OCaml page of Markus Mottl: > > http://ocaml.info/home/ocaml_sources.html How do items on the Hump get updated? Markus Mottl's libraries are obviously a valuable resource, but the Hump's information for at least a few of his libraries are out of date. Unfortunate for newbies who don't know about the above link. ------=_Part_2084_4933385.1196870595284 Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit Content-Disposition: inline > Try here, it's the OCaml page of Markus Mottl:
>
> http://ocaml.info/home/ocaml_sources.html

How do items on the Hump get updated? Markus Mottl's libraries are obviously a valuable resource, but the Hump's information for at least a few of his libraries are out of date. Unfortunate for newbies who don't know about the above link.

------=_Part_2084_4933385.1196870595284--