From mboxrd@z Thu Jan  1 00:00:00 1970
Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83])
	by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id p319QMGs031980
	for <caml-list@sympa-roc.inria.fr>; Fri, 1 Apr 2011 11:26:22 +0200
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AoYCAMaZlU3UTWUIkGdsb2JhbACER4JZnjwUAQEBAQcLDQcUBCGwM4JfAY4bBYEog0x3kGw
X-IronPort-AV: E=Sophos;i="4.63,281,1299452400"; 
   d="scan'208";a="95548826"
Received: from mx4.wp.pl ([212.77.101.8])
  by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 01 Apr 2011 11:26:09 +0200
Received: (wp-smtpd smtp.wp.pl 13698 invoked from network); 1 Apr 2011 11:26:01 +0200
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=wp.pl; s=1024a;
          t=1301649961; bh=vlOeRMDLRNviYtmdA7ITMNpfauRjUzaA9Sq2Fp8q104=;
          h=From:To:Subject;
          b=rD+zRe7Zxatm3CBjfAOY9hdlFlr2vl6dEDX4a65mDx8KEiKVLc01xtitcvB45kgad
           GlFt7+y6P7QridRAEutxm97YKUatLlI5FfvxISiWe5/9YmHXE3yZDP1MfZbEWI8ja3
           fOvQEpIUwLYUiTKIUbjI/tTEYpImSt8qLV+qFfNU=
Received: from pfpleia.if.uj.edu.pl (HELO [149.156.90.26]) (d0@[149.156.90.26])
          (envelope-sender <d0@wp.pl>)
          by smtp.wp.pl (WP-SMTPD) with AES256-SHA encrypted SMTP
          for <caml-list@yquem.inria.fr>; 1 Apr 2011 11:26:01 +0200
Message-ID: <4D9599FE.1040002@wp.pl>
Date: Fri, 01 Apr 2011 11:25:18 +0200
From: Dawid Toton <d0@wp.pl>
User-Agent: Mozilla/5.0 (X11; U; Linux x86_64; en-US; rv:1.9.2.14) Gecko/20110223 Thunderbird/3.1.8
MIME-Version: 1.0
To: caml-list <caml-list@yquem.inria.fr>
References: <AANLkTikGzLTXisOXOBwuZFz7mNUL2gEuX1Gyi=YDOPac@mail.gmail.com> <AANLkTinmejPrNGmEkuH+=1wSbv_Y8evxGCoPxOU1DUx7@mail.gmail.com>
In-Reply-To: <AANLkTinmejPrNGmEkuH+=1wSbv_Y8evxGCoPxOU1DUx7@mail.gmail.com>
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 7bit
X-WP-AV: skaner antywirusowy poczty Wirtualnej Polski S. A.
X-WP-SPAM: NO 0000000 [MeM0]                               
Subject: [Caml-list] Re: Fwd: Hoogle for your language (i.e. F#, Scala, ML, Clean...)

On 03/20/2011 06:10 PM, Thomas Braibant wrote:
> Hi,
>
> I just found out the following: http://search.ocaml.jp/ which might be
> of interests to the member of this list. It seems to be similar to
> Hoogle, but I wonder what are the relations between them.
But it seems not to work correclty: I ask for 'a -> 'a list

http://search.ocaml.jp/?q=%27a+-%3E+%27a+list

and it returns 'a list -> 'a list functions.

Dawid