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 p2DLpuo4029943 for ; Sun, 13 Mar 2011 22:51:56 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AucCAKvYfE3RVdSykGdsb2JhbACEPZRIjQkIFAEBAQEJCQ0HFAQhiEGdfIl6glqDZokKAQEDBYEig0V2BIxSiHc6gRo X-IronPort-AV: E=Sophos;i="4.62,312,1297033200"; d="scan'208";a="93691955" Received: from mail-px0-f178.google.com ([209.85.212.178]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 13 Mar 2011 22:51:51 +0100 Received: by pxi1 with SMTP id 1so1152462pxi.9 for ; Sun, 13 Mar 2011 14:51:49 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:mime-version:sender:date:x-google-sender-auth :message-id:subject:from:to:content-type; bh=WWxzVvAJYGwCcXptvlK5XhYnJ77iOJmo3BS440GnkAs=; b=jy3egjhuNmFXSynzMfmaGYs1d7KBKqEricAv9wJ+aa7aA+JvDBRXMgCLMlEjlENRQu m4qdW6i+aAdM0NcAVsNBaJOVp+lrE+lBwkbEaWgFRjPrXNX6PiJCHEN+WY5r9ZUTEirR PLVIEO58CSeoLMHm16mYPgJv4adTDbYQbwC8k= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=mime-version:sender:date:x-google-sender-auth:message-id:subject :from:to:content-type; b=TlMbhNXK7o+BkaPEeLuwk7kfgKK8LP6KzJljQ1CRQ7y3ASX5UP6kXGT4c/zDUl1aIt 1zTczyTZ6Kwbs8IimiZQPNF7uAhew2GOAnM1Mz8Mw27ij7aH8sOSKcLOiH1xrs4xUreA wnag1USGPfqZzxl2HrISXs4TmeV4Awal6OR4g= MIME-Version: 1.0 Received: by 10.142.201.21 with SMTP id y21mr9802786wff.29.1300053109100; Sun, 13 Mar 2011 14:51:49 -0700 (PDT) Sender: daniel.c.buenzli@gmail.com Received: by 10.142.132.6 with HTTP; Sun, 13 Mar 2011 14:51:49 -0700 (PDT) Date: Sun, 13 Mar 2011 22:51:49 +0100 X-Google-Sender-Auth: I9KgU9HkKuT_Ey4CCCta2gemsQQ Message-ID: From: =?UTF-8?Q?Daniel_B=C3=BCnzli?= To: caml-list@inria.fr Content-Type: text/plain; charset=UTF-8 Subject: [Caml-list] Fwd: Hoogle for your language (i.e. F#, Scala, ML, Clean...) 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