From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <matthias.goergens@googlemail.com>
X-Original-To: caml-list@yquem.inria.fr
Delivered-To: caml-list@yquem.inria.fr
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 10C0FBBAF
	for <caml-list@yquem.inria.fr>; Thu,  3 Dec 2009 19:45:59 +0100 (CET)
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AmgBADeWF0vRVdvdkGdsb2JhbACbQj8BAQEBCQkMBxMDrFgBBY5+AQWEMg
X-IronPort-AV: E=Sophos;i="4.47,336,1257116400"; 
   d="scan'208";a="41316253"
Received: from mail-ew0-f221.google.com ([209.85.219.221])
  by mail1-smtp-roc.national.inria.fr with ESMTP; 03 Dec 2009 19:45:58 +0100
Received: by ewy21 with SMTP id 21so284074ewy.7
        for <caml-list@yquem.inria.fr>; Thu, 03 Dec 2009 10:45:58 -0800 (PST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=googlemail.com; s=gamma;
        h=domainkey-signature:mime-version:received:in-reply-to:references
         :from:date:message-id:subject:to:cc:content-type;
        bh=lmRsLJDcjJfH0YWgTd5Hv2B4XGCR7H+gs7VOBLY2a2Y=;
        b=RxKLrvpqSsvgfzE5xUZDRUDgPC8O/HBF3762MMLXK/aZcad415GdFU0KPsr7VdbGFg
         4Q9usn4zy7IszGJ3oI1USfwlws/RhZhHVDA2lefk6AysoZH9v5fIIoTMLZmiJTnMCuD5
         mnmptxOSmGRk/8oXvo2WoEiQ2Lb3nFKrvG+VU=
DomainKey-Signature: a=rsa-sha1; c=nofws;
        d=googlemail.com; s=gamma;
        h=mime-version:in-reply-to:references:from:date:message-id:subject:to
         :cc:content-type;
        b=CeRNzn7eiBT8aRnXyiB/geTXLJccsIYHm8WlE9MwJQrCLWN0+oG5SDEx/+1xg+H28m
         CFB1pDtVluqYaSb7/vElpsaZuRtKRK/tmSv0a22kbW3fndEPepo6wCT6LOEFN9mHOxam
         LVlSIvJRfjo0e+dJvP4/jaTruJAJfU2Mm2QiA=
MIME-Version: 1.0
Received: by 10.216.90.146 with SMTP id e18mr608442wef.153.1259865957720; Thu, 
	03 Dec 2009 10:45:57 -0800 (PST)
In-Reply-To: <9765C022-4141-4E49-862E-F714460D3A0D@sophia.inria.fr>
References: <c7e6e4240912030808x26fbc371u4ef05b37ebab807c@mail.gmail.com> 
	<9765C022-4141-4E49-862E-F714460D3A0D@sophia.inria.fr>
From: =?ISO-8859-1?Q?Matthias_G=F6rgens?= <matthias.goergens@googlemail.com>
Date: Thu, 3 Dec 2009 18:45:32 +0000
Message-ID: <c7e6e4240912031045j2eab64fbqba232fe1a552b3aa@mail.gmail.com>
Subject: Re: [Caml-list] Hoogle for Ocaml
To: Tom Hutchinson <Thomas.Hutchinson@sophia.inria.fr>
Cc: caml-list@yquem.inria.fr
Content-Type: text/plain; charset=ISO-8859-1
X-Spam: no; 0.00; ocaml:01 caml-list:01 matthias:02 matthias:02 docs:07 docs:07 might:12 spitting:13 does:14 i'll:15 thanks:17 try:19 list:22 support:23 what:24 

> This might be what you're looking for:
> http://docs.camlcity.org/docs/index.html

Thanks.  I'll try it.  Does it support e.g. searching for "(a->b) ->
[a] -> [b]" and spitting out List.map?

Matthias.