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 p2KHNsbJ019824 for ; Sun, 20 Mar 2011 18:23:54 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AuADAIbVhU1KfVI0imdsb2JhbACERJN9MYxzCBUBAQoJDQcSBiGkZooGgluEBokKAQEDBYRndwSMZ4NRcoQ8OoEc X-IronPort-AV: E=Sophos;i="4.63,215,1299452400"; d="vcf'?scan'208";a="94493606" Received: from mail-ww0-f52.google.com ([74.125.82.52]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 20 Mar 2011 18:23:47 +0100 Received: by wwj40 with SMTP id 40so6808205wwj.9 for ; Sun, 20 Mar 2011 10:23:47 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:sender:message-id:date:from:user-agent :mime-version:to:subject:references:in-reply-to:x-enigmail-version :content-type; bh=qpt8AvKI0/2br2SGZjV2bdkuZ7NrvzbzoOKvvZvzYmg=; b=xAZtlpUZ8MAICj11pSWRy4/puopV+WOaydOb3PuNMWb+o3RdwB1f2eXZG15ldTBTV1 pVXdjwqPf8ElWd6bXebmnle39yLM8E6P2r81cjES9NbQYYLxUvJVQBD8ED1MlpKcstKS j4ux8rco3CzONCLnfYSKbM0gByG5nP90fBUNA= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=sender:message-id:date:from:user-agent:mime-version:to:subject :references:in-reply-to:x-enigmail-version:content-type; b=dPQZHnVe1trfWmHU8QBJhTI1Vc//lpjQV0v7VcwDRJJeaZfFtA3apLAnc67k7Fclq4 LDb/CkX6dwnSTnnPyllNceWnsZYaHwGBE//Q3TzYqvp5NxNFqwfcPLLe8gd/KL5oI/6x 4uXtiXG45VHnweqiI1eedTQNWEmLO6NhZEO1s= Received: by 10.227.98.9 with SMTP id o9mr3243915wbn.25.1300641826849; Sun, 20 Mar 2011 10:23:46 -0700 (PDT) Received: from [192.168.0.29] (lns-bzn-48f-81-56-241-169.adsl.proxad.net [81.56.241.169]) by mx.google.com with ESMTPS id y29sm2365818wbd.38.2011.03.20.10.23.44 (version=SSLv3 cipher=OTHER); Sun, 20 Mar 2011 10:23:45 -0700 (PDT) Sender: Fabrice Le Fessant Message-ID: <4D86381F.2050907@inria.fr> Date: Sun, 20 Mar 2011 18:23:43 +0100 From: Fabrice Le Fessant User-Agent: Mozilla/5.0 (X11; U; Linux x86_64; en-US; rv:1.9.2.14) Gecko/20110223 Lightning/1.0b2 Thunderbird/3.1.8 MIME-Version: 1.0 To: caml-list@inria.fr References: <1561462635.153400.1300641069887.JavaMail.root@zmbs4.inria.fr> In-Reply-To: <1561462635.153400.1300641069887.JavaMail.root@zmbs4.inria.fr> X-Enigmail-Version: 1.1.2 Content-Type: multipart/mixed; boundary="------------090603000207050405010406" Subject: Re: [Caml-list] Fwd: Hoogle for your language (i.e. F#, Scala, ML, Clean...) This is a multi-part message in MIME format. --------------090603000207050405010406 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 8bit And the page itself points to: https://github.com/mzp/ocaml-hoogle "OCaml API search allows you to search many standard O'Caml libraries by either function name, or by approximate type signature. It is similar to Hoogle, which is a Haskell API search engine." All code is in OCaml. --Fabrice On 03/20/2011 06:11 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. > > With best regards, > Thomas > > > > On Sun, Mar 13, 2011 at 10:51 PM, Daniel Bünzli > wrote: >> Just wanted to relay this call : >> >> http://neilmitchell.blogspot.com/2011/03/hoogle-for-your-language-ie-f-scala-ml.html >> >> to the members of this list. >> >> Best, >> >> Daniel >> >> -- >> Caml-list mailing list. Subscription management and archives: >> https://sympa-roc.inria.fr/wws/info/caml-list >> Beginner's list: http://groups.yahoo.com/group/ocaml_beginners >> Bug reports: http://caml.inria.fr/bin/caml-bugs >> >> > > --------------090603000207050405010406 Content-Type: text/x-vcard; charset=utf-8; name="fabrice_le_fessant.vcf" Content-Transfer-Encoding: 7bit Content-Disposition: attachment; filename="fabrice_le_fessant.vcf" begin:vcard fn:Fabrice LE FESSANT n:LE FESSANT;Fabrice org:INRIA Saclay -- Ile-de-France;Projet OCamlPro adr;quoted-printable:;;Parc Orsay Universit=C3=A9 ;Orsay CEDEX;;91893;France email;internet:fabrice.le_fessant@inria.fr title;quoted-printable:Charg=C3=A9 de Recherche tel;work:+33 1 74 85 42 14 tel;fax:+33 1 74 85 42 49 url:http://fabrice.lefessant.net/ version:2.1 end:vcard --------------090603000207050405010406--