From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 9928D7F616 for ; Thu, 23 Feb 2017 23:25:21 +0100 (CET) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=francois.c.berenger@vanderbilt.edu; spf=Pass smtp.mailfrom=francois.c.berenger@vanderbilt.edu; spf=Pass smtp.helo=postmaster@NAM01-BY2-obe.outbound.protection.outlook.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of francois.c.berenger@vanderbilt.edu) identity=pra; client-ip=104.47.34.70; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="francois.c.berenger@vanderbilt.edu"; x-sender="francois.c.berenger@vanderbilt.edu"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of francois.c.berenger@vanderbilt.edu designates 104.47.34.70 as permitted sender) identity=mailfrom; client-ip=104.47.34.70; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="francois.c.berenger@vanderbilt.edu"; x-sender="francois.c.berenger@vanderbilt.edu"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of postmaster@NAM01-BY2-obe.outbound.protection.outlook.com designates 104.47.34.70 as permitted sender) identity=helo; client-ip=104.47.34.70; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="francois.c.berenger@vanderbilt.edu"; x-sender="postmaster@NAM01-BY2-obe.outbound.protection.outlook.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" IronPort-PHdr: =?us-ascii?q?9a23=3AFBaHfRy4MPrhWIfXCy+O+j09IxM/srCxBDY+r6Qd?= =?us-ascii?q?2u4UIJqq85mqBkHD//Il1AaPBtSGrasUwLOL4+jJYi8p2d65qncMcZhBBVcuqP?= =?us-ascii?q?49uEgeOvODElDxN/XwbiY3T4xoXV5h+GynYwAOQJ6tL1LdrWev4jEMBx7xKRR6?= =?us-ascii?q?JvjvGo7Vks+7y/2+94fdbghMhDexe65+IRa5oQnMtsQbgpZpJ7osxBfOvnZGYf?= =?us-ascii?q?ldy3lyJVKUkRb858Ow84Bm/i9Npf8v9NNOXLvjcaggQrNWEDopM2Yu5M32rhbD?= =?us-ascii?q?VheA5mEdUmoNjBVFBRXO4QzgUZfwtiv6sfd92DWfMMbrQ704RSiu4qF2QxDvlC?= =?us-ascii?q?oKOTw0/W/OhsBsg69QvRatqhxjz4LRZoyeKfhwcb7Hfd4CW2RPXttfWS9PDIyy?= =?us-ascii?q?YIQAE+UPPedDoonhpVYDtweyCRWiCe7tzDJDm3/43bc90+QkCQzI3BYgEMgIsH?= =?us-ascii?q?vIq9X1NbwSWv2owafH0TvNYOtY1zby5obUbxsspv+MXahqfsrX1UYvEALFjk6K?= =?us-ascii?q?pYP5JT+azfoCs3KF4OpmWuKglXQnphpvoje1wMcjl5fGhpgOxVDF8SV53Jw5Ks?= =?us-ascii?q?OlR05meNOpFoZbuS+dN4tzWMwiQmdotT4hxb0Cvp67czMKyIwgxx7DcfCIb4+I?= =?us-ascii?q?7gj+VOaSJzpzmXFreKqnihqv7UStxffwW8a23VpQoCdIncPAu3IR2xDL98SKS+?= =?us-ascii?q?dx8l281TqR0w3f8PxILE43mKbBNZIt3L49m5wOukrZBCD2gl/5jKqOe0Uk5Oeo?= =?us-ascii?q?7+Pnb63+qJKAMIF4lhzyPr0zl8O9H+g0Kw8OUHOF9uim073j4FH5T65Njv0rlK?= =?us-ascii?q?nWrYrWJdwBpq6+Hw9azJos6wq+Dzeh1tQUh34HLE9ZeBKDiIjpPFLOLOrkAve4?= =?us-ascii?q?hlSgiDZrx/bYMb39GpjBM2TPnbj7cbty6UNQ0gQ+wN9F659WFr0NOPfzVVXwtN?= =?us-ascii?q?zcAB85KQu0w+P/BdVzzIMRQ2SPDbOeMKPTql+E/P4gL/OXa4ALojbyNf4l5/Hw?= =?us-ascii?q?gn8jglIdY7Om3Z0KZ3+mBPRpOESZYX7wgtsbD2gFoxc+QPTwiFKeST5Te2qyX6?= =?us-ascii?q?Uk6z4nEo2mCIPDSpmpgLyAxye7AoZbZntGC1CJCXfnbZ+IW/YKaCKII89uiCYI?= =?us-ascii?q?Vba7S9xp6Rb74ATzzr4iKuvP5gUZs4ji3Z57/buAuws18GlaFc2b2GaMVCles1?= =?us-ascii?q?klYRAb5ugrr1Z0zFyE0LM+iLpSGMZe4fxESC8kPJjQwvZwCtTuHA/NY4HaGx6d?= =?us-ascii?q?Xty6DGRpHZoKyNgUbhMgQ9g=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0CUFgDgX69YhkYiL2hdHAEBBAEBCgEBG?= =?us-ascii?q?AYMgmU+ZCorBy0Hg1SKCnCmH4IMASuJZw0BAQEBAQEBAQEBARIBAQEKCQsKHS+?= =?us-ascii?q?CMwoMglEVdgImAiEoFg0IAQGJcQEECZ4fhBgCAotpgiaICQEHgzILAQEBHwUJA?= =?us-ascii?q?YEBh0aHEBEBaII6gl8BBIhohmV/i0gcgTWFI40rhRyJepFsAYE7TYECCFaFLYI?= =?us-ascii?q?MVgGJF4EhAYEMAQEB?= X-IPAS-Result: =?us-ascii?q?A0CUFgDgX69YhkYiL2hdHAEBBAEBCgEBGAYMgmU+ZCorBy0?= =?us-ascii?q?Hg1SKCnCmH4IMASuJZw0BAQEBAQEBAQEBARIBAQEKCQsKHS+CMwoMglEVdgImA?= =?us-ascii?q?iEoFg0IAQGJcQEECZ4fhBgCAotpgiaICQEHgzILAQEBHwUJAYEBh0aHEBEBaII?= =?us-ascii?q?6gl8BBIhohmV/i0gcgTWFI40rhRyJepFsAYE7TYECCFaFLYIMVgGJF4EhAYEMA?= =?us-ascii?q?QEB?= X-IronPort-AV: E=Sophos;i="5.35,198,1484002800"; d="scan'208";a="214533760" Received: from mail-by2nam01on0070.outbound.protection.outlook.com (HELO NAM01-BY2-obe.outbound.protection.outlook.com) ([104.47.34.70]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES256-SHA256; 23 Feb 2017 23:25:20 +0100 Received: from BN1PR08CA0023.namprd08.prod.outlook.com (10.242.217.151) by BY2PR08MB427.namprd08.prod.outlook.com (10.141.142.147) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_CBC_SHA384_P384) id 15.1.888.16; Thu, 23 Feb 2017 22:25:17 +0000 Received: from BL2FFO11FD037.protection.gbl (2a01:111:f400:7c09::171) by BN1PR08CA0023.outlook.office365.com (2a01:111:e400:16::23) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_CBC_SHA384_P384) id 15.1.933.12 via Frontend Transport; Thu, 23 Feb 2017 22:25:16 +0000 Received: from mailgate.vanderbilt.edu (129.59.15.81) by BL2FFO11FD037.mail.protection.outlook.com (10.173.161.133) with Microsoft SMTP Server (version=TLS1_0, cipher=TLS_ECDHE_RSA_WITH_AES_256_CBC_SHA_P384) id 15.1.919.10 via Frontend Transport; Thu, 23 Feb 2017 22:25:16 +0000 Received: from ITS-HCWNEM121.ds.vanderbilt.edu (10.1.154.71) by mailgate.vanderbilt.edu (10.1.140.92) with Microsoft SMTP Server (TLS) id 14.3.301.0; Thu, 23 Feb 2017 16:25:06 -0600 Received: from krypton.csb.vanderbilt.edu (160.129.138.225) by smtpauth.vanderbilt.edu (10.1.154.71) with Microsoft SMTP Server (TLS) id 14.3.301.0; Thu, 23 Feb 2017 16:25:07 -0600 To: From: Francois BERENGER Message-ID: Date: Thu, 23 Feb 2017 16:25:08 -0600 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:45.0) Gecko/20100101 Thunderbird/45.7.0 MIME-Version: 1.0 Content-Type: text/plain; charset="utf-8"; format=flowed Content-Transfer-Encoding: 7bit X-Originating-IP: [160.129.138.225] X-EOPAttributedMessage: 0 X-Forefront-Antispam-Report: CIP:129.59.15.81;IPV:NLI;CTRY:US;EFV:NLI;SFV:NSPM;SFS:(10009020)(6009001)(7916002)(39840400002)(39450400003)(39410400002)(2980300002)(438002)(189002)(199003)(8676002)(23676002)(50986999)(33646002)(64126003)(83506001)(5660300001)(65956001)(88552002)(66066001)(7636002)(36756003)(4001350100001)(230700001)(7736002)(246002)(50466002)(356003)(626004)(38730400002)(86362001)(305945005)(450100001)(75432002)(110136004)(6306002)(65806001)(8936002)(2351001)(47776003)(106466001)(3846002)(31686004)(54356999)(92566002)(6116002)(65826007)(6916009)(7596002)(31696002)(189998001)(2906002);DIR:OUT;SFP:1101;SCL:1;SRVR:BY2PR08MB427;H:mailgate.vanderbilt.edu;FPR:;SPF:Pass;PTR:mailgate.vanderbilt.edu;MX:1;A:1;LANG:en; X-Microsoft-Exchange-Diagnostics: 1;BL2FFO11FD037;1:cc8Zej80I0G5zia/gTpAq2ZYLw2cdw4vakb/dKgxn+nGgi9D+B+lJJxIDx9OgEl/Di4VlCqUIY8Zb94PdAy/wPuCj+et+tlPfkn9XHw2oxtINbsGsfIqLRQFz3FFlXsjZhnxe76dvl5fYfOgiOQCAs/i5xBPFxTzwS4LolLnkHZ3SLiRd6vC2e+1pZ4jGzzWaqtys1sTyQFmgbet5q8U7C+NNzEzEK7pUQsRctYP9l6yHFBW0vZK1rDcXGAjUl+/HiBzKTdAPfwx4tSiJ4N8I2hi5sJVoijldDpm+TzWKeoLcqVD12hclTi+zcKJf7D6FkWD1qX0uJJ67i4hfjtc7+vaNmwRh83padUrzNEv5j7yHzBBo5dW0ZQ8iSz15/QDunEcRgtxRsFQ5aE3NWO/4qDiGTOUQS//R9qU3Cr3wgiDZb3D2XewxXaA2ZopIqsMcwDRipVlZIywebwVo5IeZ+L7TBBvWJRIJCKfcrhInSPumLyfHAHJz3Eq3QQ+wNrjPC1HSi1GzBbYYWxK9y7inQ== X-MS-Office365-Filtering-Correlation-Id: dad42d26-d939-4f76-91b2-08d45c3ad7db X-Microsoft-Antispam: UriScan:;BCL:0;PCL:0;RULEID:(22001)(8251501002);SRVR:BY2PR08MB427; X-Microsoft-Exchange-Diagnostics: 1;BY2PR08MB427;3:ZP4oNRZDxsTpztWGNukGLsk5MO6ALS/LHhmroosXX4wqC6Egnk/WkpM73Jt62cTnCp83FTGnBB88ChR7mbivEKd+uTIsvitEUPB3Z7iz5hNhaIj6rvCVRXwI84dqltWuvQ1tsJ62ul/9E+jcm7kP8J18afM18lCbBv4Iu3GkAXY13Tu5p8+oDdnc3ZcPyq2jXAKSu0+ynydFNdfyqK33OAAocJeBmMOOnJ/PmEPgLw8Egfq3T415Bd4thzGO6kMuunmrppHJ186N1/wMxFTJSqfn9QVFgUSKblmV+lSHOIRDNERIkdclre4+7Af/ScdYLaSAJEGiHujJHN8yiQuZ7S+S0RcbShuGk4ArM8I5udPeHbUWFs8Y0/QKUYExAnbjP++wdkWj+yxBkrrhludReQ==;25:8qFxtkGID5kBIDHdy4LFoEvPYVTvI2xuUwqIYGHYi4wn6G8fcV3O4KglJ8zDxM+wY5DfMXoi2EoaY9/NtQ255fmV7mf5CD7vfBajWaIqursfkb3gk5vyuidn+InxTKdFd+31zb18eGh26dVnFLGcTRsATud4aGjhi1Oa6TX6k3MpvgxdpQ+8lG9nhuDAJsk1JnRtCQAFwOypEpUq6VMySOVycFKOgdWFIjDjJjCcwdR0Rsac3T7uiWP7WdGgZrWP+qiXmBQKfOEI4wEsNS+52PDN5cB2NRyFn9vcMCNiV6JAhFdtQ0iL6zqhc4ZwBLXWq9cFg47fQ+MaLNgerSooDm6xpmc+Plcy1YXNUIw9zhIUVRJ7gCV3P22vVWnGOFV8LGShxVMmOTY8xE6wn7BizTei1OlmJ4xpdxW3AWFyz+neT6HtHjd4KagLuWW7xWcux7n1Qg9Oq7X+WQak9ymm+g== X-Microsoft-Exchange-Diagnostics: 1;BY2PR08MB427;31:1JzVj4C4nGUB95HXou8au0k/cHVR4c26qDddbuqVxj1DFLuVTKcEgU7y+bGq+P0QDDqDt4zxMr016tSbdy/PsPTWfcf8ats6Q8NgQG650ZsnhpS0REqVkR+fkSsrHDexcazXmOfzDNo/wlcj465WvRf3v7AqzQ0D9X1L7fa9usDiVXhkv3XYPNp+d/zxwsHWEGH3PC53SGInJRpckCl6i4j4KV8TPl6yyGTmnn/lWUu73qZPB905QS3K6qDDHswRojiODUzO95ccvugksozMdA==;20:dHkYbsKzsR5ZHjlhy+6965PFDfY9byI73Nc6vXBO8oTq3knwAh1OFPrclT8kxic/vHxOAj37TtRURkFURa1BBgEGaYXT1TOgCw5wiA4dLdkMrsD0Knn5RvTGcJRuYNEtQXnlpiLCEzIs1xmJRlEN0pekd2KzjWttXyu75tS6SpqH6jfM/2u5W6GQX8GpBud8mPFtpRy/rRabk0+pr5/ddzao4F75IT2vnV83BbXQSmpo3KeoQzW6UHd7bTlVJgF5YiQanF6iGMGaFqZYylRx8ukF9jp4KdbzG7yXXL8of6ULi2bEv2JxWF+UJUCjLjeySIUgFqJFQMS0tjYTBWYIL+TtEZbLUtSy/7mSy6siyNGdblQtfl6OxceI1CE4TAjv586SjAo/dlzL0pQyZZCjGcqpdEkbBtNPFwkhKVutcaqkJAe56iTfhQGSeALRr4wu+YBAGjMeQzBq1u0S2EVH8/1qG1muq5fWMBkWQ9imAgKRz2Nen8C6BPeuVvBfqU3+ X-Microsoft-Antispam-PRVS: X-Exchange-Antispam-Report-Test: UriScan:; X-Exchange-Antispam-Report-CFA-Test: BCL:0;PCL:0;RULEID:(6040375)(601004)(2401047)(13023025)(13024025)(13018025)(13016025)(8121501046)(5005006)(3002001)(10201501046)(6041248)(20161123555025)(20161123564025)(20161123560025)(20161123558025)(20161123562025)(6072148);SRVR:BY2PR08MB427;BCL:0;PCL:0;RULEID:;SRVR:BY2PR08MB427; X-Microsoft-Exchange-Diagnostics: 1;BY2PR08MB427;4:Okxt9z2YuffYyuneqcsRtnGViESdxpfJvBQjIY2/KycFo3oxgs/UDRfaQSOs/MnQvj2OSiY/xFiwmCZO/Pss41dJ35brI8hWaiIMxnFzLdB4OhEbaIDhID7jax8CkMSnGNgg1VMnIhmfMh3MBKMFjWvG0VbW4tBfv3RuCH3rIxDilJLUChY/+TlgAWlv6enqSEJvKNBfb2K9EKLvD2wHqO3lusZrrL2hm8Kpo7ddeDsV4ECMZLXtk7o2lupae4ZqxEuS1LNcG/I4eP7beZgQEw/3KBQkkxn6Mjjh6gejG672rmYrTITG8Fbsc+UnFq062wYTt/fPcImNSw08wdJywdgl+OGPQiYDObmm35dYDz9s/JHjXB8tum+mQFvveNcvpyV63BWvrzlEdDwwz1bix/IdPNWfraU939yZvBXl5ZGODt1eN47lpPkBFoyZdC4UYvFKcWr5l1baKIJXzBf0NwHVedyA42yfdvOOFGjeq9OhTe87LOg7GKLo9hX3BEuz274z5WZ//TNZWDEFfv2S50VUf+2i2a1VBXXsN3YeRv8rlddP83fHVWL0N1KXu/MDsl0vwZM0/a/eOuW8iVcz2YPz7PrJ8p7vhAbpgguWGnrIaWibFb135a2YAcx/+QKY7w0pVi3ZMbk1Qwl8Nc7EZBhL05JQWaxpDH4bpVIto9r4Ck9Xw9Ni6hOSd98Szbym X-Forefront-PRVS: 02272225C5 X-Microsoft-Exchange-Diagnostics: =?utf-8?B?MTtCWTJQUjA4TUI0Mjc7MjM6c29jdG5UcnFMVlo2SGwwL0RWZTlEVUxWSUFt?= =?utf-8?B?VVpad2dKejYxZGdOdjVFWmU1M1F3RnNsTEY5VjkvbXFNVHc3bXNkQm51bW9G?= =?utf-8?B?UU9WQ2g2dm1xT1pyWTRkYXIxeno1YUpJSWN3ZWprZlNiekhOTTA5eTN1T0gy?= =?utf-8?B?YnhjS05EOHppdGZSMjlwd2U4b0xlYXVJaWwvY3BZWHlTdFhHTWdiQm1LZ05P?= =?utf-8?B?Nkl3YXpFcytBMjYrNitGbDJMVkh4Y1h5b2oyeHNmMG5BS1piREI3TFk2MXYw?= =?utf-8?B?WEVnRDdweHFFQWVhbjdmRkt4MXd0QUxIdzMzalM3cjRKL0pLMk92c3YzTktV?= =?utf-8?B?ckZCdjJEVXcwZUZ0UVpQdHkrMHREK0RHSVpucHVENHVNc0J5SlpmTUN0d1FZ?= =?utf-8?B?Tk9uQm4zaDJGRUROaGFsQTJtR0Z2V3poR2I1NHAvbnRkeHNjR2xxOWFhanlB?= =?utf-8?B?cDBOakJhWkZzbE9pNk1VaXJrQXg5b29NRjUwQk45KzBZMzBaendYNC9oTmFP?= =?utf-8?B?OENCdnRXeWVNVHIzcXlkWDNXdU50TjJNL2RVcVlTbG1SSks4TlhmekFkTmRx?= =?utf-8?B?QUVhQ1llNkIyV1EzZTUvZGZSamxBL3NqWFN5a1ByTjNpWVRlVXpOMkpGQURt?= =?utf-8?B?dmducHR1YUkxQk9jend5enNSLzdPQk01MDd1NHZZNS9GU3lFOFoxcGtMYlMy?= =?utf-8?B?NWNHRStxbFBoNStpR2xHYWdRdG1CQVhnUGg0R2I5eGxCeXlxNmdpbkNSQVox?= =?utf-8?B?VjVyTFVXMjJwYVVCYkVVQVpYT1NLd25yQ016MlpMOENjRnpUU2JkTklmSlhH?= =?utf-8?B?NTRxLzU0V0EwYzh6bTRwWkY5ZTUyZnpuaDdlUTQweGx6Z0hxMzF4WVYxT0pV?= =?utf-8?B?MUswNVZUVStLUXc4ZHJpdkh0Ym94TldGYW8xNmFPdTV2eEc1TXJQNVRMOVVY?= =?utf-8?B?TnBZWGZFeHBPMHQyeEpaZDJFOUUrT05IWG5OekN5VVBnb1BBUXJKZUdoZlA1?= =?utf-8?B?ajBiQlFRREZLTlhvQkFGRm5BUzRQeng3VTZzazdkNFMwL2NMTXAvYmppZllQ?= =?utf-8?B?c1RpUTA3UCtkU2M2RXhnazV0WWgyckZ1UFlJeG5ldWdaMGtKdW1QZXBvT3A0?= =?utf-8?B?ZENDaW15a3llQ2o5ajNkNW5yK2M0TE9XdjQ3QmovNVBhb2xRV3piV0Z5TU5h?= =?utf-8?B?KzlIdkw3dE5ndm5nR1VUZks3NnY3eVlQcWJ0QnZ2Nm1SSTNkbndXaHFSbWly?= =?utf-8?B?R3pJRVA1YThxRW5UVUVZYnZ4S1dLWFRkVytVaDBOMUU0R3lCOGlpUklzc0RB?= =?utf-8?B?anBES0VVd1FsT3pLeVRyVVBKV3hNYWdxRmxVSWtsSEVreGdyenhEWDZ2SmRF?= =?utf-8?B?UE55SHp5dWVVM2FxeVhWOSt1S0RXMFczazNtaXVhbjlybU9tT0N2TVFVQlJ5?= =?utf-8?B?WGp4MERGSG82U09xRWZUSmxTZHJpbXBqd0hsY3lvZFpsL0grUzgrOEZXaEJL?= =?utf-8?B?ODh1MEhNUlArYnRRQ1AydHcyZVlzdmRRcmZoSXFYOEhaTFVjdVdBbFNQNHhC?= =?utf-8?B?Y0dZbFlZSk5iVVlEYURXZCtsY1RkaDlZeEhQT2wyNXJtV2NtMXBUMlRsaHlT?= =?utf-8?Q?bmzfvDbmBcEaKC4mdDm?= X-Microsoft-Exchange-Diagnostics: 1;BY2PR08MB427;6:zEgsUfKv+VtEzK1IsYhlFG03xnWtBzrVZt2IMKgCXyCngLoWYmKlRxQ9I3BCqWH0gJ82ypbwHiol1L+4ksVy8k2kSIY2grJgrE6H3g0YCHhYxG2uWtxq4seScblXxYg8iHdwlkdQpwD82CMU8uTPoqO+LZWJGraxnM79XbvqSFLbDrNWh3Fb/fhmpRQWTqO1ZDO9ejcoWPk1Phcx7Fr3GkU4yshHKEZFR7REJVR3JHsW4bhA7FF4g+Flqf55LOnCY6DlG2hIUWfOD+9zcKaMkBQMcaImfOUfWocahEfRQSPB0CtVm79iLPWSWJvfCleHaFBT4/csoBQJHh639NOJTOeSy7BHNF9ciEWiQzD4u2Sc4Wx+nSjPaIEEB04xEV3HpBa3+ETQe+Ldky1kp8tkBQ==;5:aym3CEdTtt5E8gq01h/IfBBvhAAMhc8SJL2FxDhZhD1mx83QU2xPDw5F6h8QavklBQdvJeiR90eqvdzQTNYGfEA6MBQBpohYHZkCQF5JFcgZdpjlRGg/dG1N8nuKnfTr6DeWSveL4mYPqc3CLvYt/A==;24:LLKYb2dQe1gDPtg+4kOgRrgIy4cD4btLUuw1qPKxu9uYs4+sPyl6dHqn4B/+B1xK5bYZ6ghkGBuYCk0+rzjWeAFlIdVccMlM765lg19iHjM= SpamDiagnosticOutput: 1:99 SpamDiagnosticMetadata: NSPM X-Microsoft-Exchange-Diagnostics: 1;BY2PR08MB427;7:jBO4RMq16Xy7lNMcU8JlAzcLYqJYKKmabftgg6tIf3ExRa7+Cf2jLEQF/jxfEe7TG393s2M884eKaO2gy69JNcodop9dvAG/pAvGdmbkl6JuneoMkMJ8AAS0Jg62VmwBqEUxshdWhJplIWwVBVwmAihfyYD0Mr+zjAowsVMw5+kHoiwR4jhHlkv0rmwXSPkxqk5XD3GxEbWcY23iL1M5R+oVLbuNSE4xmAMoEy3nNNZM4He46x/TiGJGkOaI5O/sLkCEyHsmNgM4nXz8T68xCCi+BzSw1n1OIjnXlStYKpWl0TGQnDIAf7tSV5OA7cIzWh1fG4bUhuFrF0+1fVEGTg== X-OriginatorOrg: vanderbilt.edu X-MS-Exchange-CrossTenant-OriginalArrivalTime: 23 Feb 2017 22:25:16.2000 (UTC) X-MS-Exchange-CrossTenant-Id: ba5a7f39-e3be-4ab3-b450-67fa80faecad X-MS-Exchange-CrossTenant-OriginalAttributedTenantConnectingIp: TenantId=ba5a7f39-e3be-4ab3-b450-67fa80faecad;Ip=[129.59.15.81];Helo=[mailgate.vanderbilt.edu] X-MS-Exchange-CrossTenant-FromEntityHeader: HybridOnPrem X-MS-Exchange-Transport-CrossTenantHeadersStamped: BY2PR08MB427 Subject: [Caml-list] Hoogle for your language (i.e. F#, Scala, ML, Clean...) --- Hoogle is a search engine for Haskell functions, that allows you to search by either name, or by type. But very little of Hoogle is actually Haskell specific - most is applicable to any language with a Hindley-Milner based type system. Recently I have been asked by several people what they can do to allow Hoogle to search their preferred language. There are four steps to integrating a language with Hoogle, detailed below. If you are interested in helping please email me (Neil Mitchell) - I already have volunteers for both F# and Scala, but additional volunteers for other languages are welcome. ... --- The full blog post is here: https://neilmitchell.blogspot.co.uk/2011/03/hoogle-for-your-language-ie-f-scala-ml.html