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.0 required=5.0 tests=AWL,SPF_NEUTRAL autolearn=disabled version=3.1.3 Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by yquem.inria.fr (Postfix) with ESMTP id 7F22CBC69 for ; Wed, 5 Dec 2007 12:01:09 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Ao8CADQUVkfAXQInh2dsb2JhbACDJYwxAgEICik X-IronPort-AV: E=Sophos;i="4.23,254,1194217200"; d="scan'208";a="5285544" Received: from concorde.inria.fr ([192.93.2.39]) by mail1-smtp-roc.national.inria.fr with ESMTP; 05 Dec 2007 12:01:09 +0100 Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id lB5B185i027357 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Wed, 5 Dec 2007 12:01:08 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Ao8CADQUVkdC+VypmGdsb2JhbACDJYwxAgEBBwQEKw X-IronPort-AV: E=Sophos;i="4.23,254,1194217200"; d="scan'208";a="4914317" Received: from ug-out-1314.google.com ([66.249.92.169]) by mail2-smtp-roc.national.inria.fr with ESMTP; 05 Dec 2007 12:01:02 +0100 Received: by ug-out-1314.google.com with SMTP id k40so396829ugc for ; Wed, 05 Dec 2007 03:01:02 -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:content-transfer-encoding:content-disposition:references; bh=Qn+yx3uSygWeJ5nLz9mYbOtYUyokOGQlOIibFPzz0mc=; b=CGzD0B0Omna+g1JNUbdJ/+LwBvj8ZBfkgac5eVboXLZxTRgtAN7kcsrAPiP6TXYo4FNNnUjiO1svKmfxOo85RVlfhnLmQYFd/d9TaQA7IjO4hXbJQeDarn2PWxX3MMjWKuBkTnM4YHWTNkXlQHZxYOe3SKpn8FtJSf7oN4qYqM0= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=message-id:date:from:to:subject:in-reply-to:mime-version:content-type:content-transfer-encoding:content-disposition:references; b=OSNJPaHCOhNfQU8mwwAec8ONOQbVodJLWW5MQJmqfUZ1Ja5gSNYUNAqF5iBHBHz6lGiFrwafYYTlgpLf281aF/w8qZLB5u+W+hmkkabiL40zF4ZScYOikxLN114MufKhv8PiQfHdOcSX2MH5wWp1dOzMMLfBAQFg10LPxQ4NBm0= Received: by 10.78.183.8 with SMTP id g8mr303081huf.1196852460571; Wed, 05 Dec 2007 03:01:00 -0800 (PST) Received: by 10.78.58.19 with HTTP; Wed, 5 Dec 2007 03:01:00 -0800 (PST) Message-ID: <4b5157c30712050301o386a778ctaf1e06ff54d550fb@mail.gmail.com> Date: Wed, 5 Dec 2007 12:01:00 +0100 From: "Paolo Donadeo" To: caml-list@inria.fr Subject: Re: [Caml-list] Ocaml code for Okasaki's "Purely Functional Data Structures" In-Reply-To: <20071205215030.28c91898.mle+ocaml@mega-nerd.com> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 7bit Content-Disposition: inline References: <20071205215030.28c91898.mle+ocaml@mega-nerd.com> X-Miltered: at concorde with ID 475684F4.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 caml-list:01 purely:02 data:02 structures:02 functional:02 somewhere:06 anybody:07 might:12 sources:14 does:14 > Unfortunately the links to the code are all dead. Does anybody have > this code somewhere or know where it might be available? Try here, it's the OCaml page of Markus Mottl: http://ocaml.info/home/ocaml_sources.html -- Paolo ~ ~ :wq