From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <electreg@list.ru>
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 3A2227FA5E
	for <caml-list@sympa.inria.fr>; Tue,  9 May 2017 16:28:16 +0200 (CEST)
Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=electreg@list.ru; spf=Pass smtp.mailfrom=electreg@list.ru; spf=Pass smtp.helo=postmaster@f421.i.mail.ru
Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  electreg@list.ru) identity=pra; client-ip=185.5.136.92;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="electreg@list.ru";
  x-sender="electreg@list.ru"; x-conformance=sidf_compatible
Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of
  electreg@list.ru designates 185.5.136.92 as permitted sender)
  identity=mailfrom; client-ip=185.5.136.92;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="electreg@list.ru";
  x-sender="electreg@list.ru"; x-conformance=sidf_compatible;
  x-record-type="v=spf1"
Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of
  postmaster@f421.i.mail.ru designates 185.5.136.92 as
  permitted sender) identity=helo; client-ip=185.5.136.92;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="electreg@list.ru";
  x-sender="postmaster@f421.i.mail.ru";
  x-conformance=sidf_compatible; x-record-type="v=spf1"
IronPort-PHdr: =?us-ascii?q?9a23=3A1HPABR9q2OBDtf9uRHKM819IXTAuvvDOBiVQ1KB4?=
 =?us-ascii?q?1ugcTK2v8tzYMVDF4r011RmSDNmds6oMotGVmpioYXYH75eFvSJKW713fDhBt/?=
 =?us-ascii?q?8rmRc9CtWOE0zxIa2iRSU7GMNfSA0tpCnjYgBaF8nkelLdvGC54yIMFRXjLwp1?=
 =?us-ascii?q?Ifn+FpLPg8it2e2//5Lebx9UiDahfLh/MAi4oQLNu8cMnIBsMLwxyhzHontJf+?=
 =?us-ascii?q?RZ22ZlLk+Nkhj/+8m94odt/zxftPw9+cFAV776f7kjQrxDEDsmKWE169b1uhTF?=
 =?us-ascii?q?UACC+2ETUmQSkhpPHgjF8BT3VYr/vyfmquZw3jSRMMvrRr42RDui9b9mRh/2hi?=
 =?us-ascii?q?kaODE392/ZitZqgqxYvB2vqAdyw5LPb42JKPZzZL/RcNEcSGFcXshRTStBAoak?=
 =?us-ascii?q?YoYTC+oOI+lZoJf9plATohW+Cg6sBPnoyj9Wm3T72rM10+A/Hg7awAwgBcwBsH?=
 =?us-ascii?q?vPodXxNacSSvy1wLPSzTXedv5b3yr25obPchAku/6MXLRwfNLeyUkuCwPFjkiQ?=
 =?us-ascii?q?ppf/MzyJ0eQNtm6W5PdjW+K3k2MrtgJ8rzi1ysoskIXFm4wYx1He+Sh93oo4I8?=
 =?us-ascii?q?CzRlRhbt6+CpRQsjmXN4toTcMmRGFloCg6x7IYtZKmZiQKyY4rxxvFZPyGd4iE?=
 =?us-ascii?q?+AjjVPuJLTd5gnJqZq6/ig6v/UWjyuDwTMm53ExXoidLk9TArHQA2wLL5siCUP?=
 =?us-ascii?q?R9/0Oh2TiV1wDU7+FJOV47la7FJJE93r4wjIQcsUvYEy/ymUX2l7OWel8++ui1?=
 =?us-ascii?q?8+jneKnppoeAN49ojQHzKrghlda6AeQ8KwQOW2mb+f+g1LD45k34QLBKjuUsna?=
 =?us-ascii?q?XDsZDaI94bpq+jDANP3IYj8UX3MzDz290dmTwDLUlZMEaMho3tflXPO+zQDPGl?=
 =?us-ascii?q?gl3qni09lMrLJrnwPpKYB3zOgLrwNZty7FRb1kJnwNRS7I5OB74pJPPoRgnrqY?=
 =?us-ascii?q?qLIAU+Nlmdx+v3BcQ1+4wZQ2WRSvuUNK7ZrUWF6corIvKQIpUI7mWuY8M57uLj?=
 =?us-ascii?q?2Cdq0WQWerOkiMMa?=
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0DTBwC10BFZh1yIBblcSBgHgXyBH2WBD?=
 =?us-ascii?q?INpmVUBhieMfYZ2Dh6FeByET0MUAQEBAQEBAQEBAQESAQEBCgsJCCgvgjMgglQ?=
 =?us-ascii?q?YEQwBATgUIAIFEw4CBA09ESSJdwEBAhkKsXJrgiaDCQEBBYFahhceAwWBC4RCh?=
 =?us-ascii?q?QmFeoI7DC6CX5EojGKHHIt9gWyPfQKUQDaBKxsUGAgIKAaBdoNUgXI9Noh1AQE?=
 =?us-ascii?q?B?=
X-IPAS-Result: =?us-ascii?q?A0DTBwC10BFZh1yIBblcSBgHgXyBH2WBDINpmVUBhieMfYZ?=
 =?us-ascii?q?2Dh6FeByET0MUAQEBAQEBAQEBAQESAQEBCgsJCCgvgjMgglQYEQwBATgUIAIFE?=
 =?us-ascii?q?w4CBA09ESSJdwEBAhkKsXJrgiaDCQEBBYFahhceAwWBC4RChQmFeoI7DC6CX5E?=
 =?us-ascii?q?ojGKHHIt9gWyPfQKUQDaBKxsUGAgIKAaBdoNUgXI9Noh1AQEB?=
X-IronPort-AV: E=Sophos;i="5.38,314,1491256800"; 
   d="scan'208";a="222998570"
Received: from f421.i.mail.ru ([185.5.136.92])
  by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 09 May 2017 16:28:15 +0200
DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=list.ru; s=mail;
	h=Content-Transfer-Encoding:Content-Type:Message-ID:Reply-To:Date:MIME-Version:Subject:To:From; bh=vLCMC9FsG9kgUkqMDcAhxjg91xq4hG08jDL8EHfZ5qM=;
	b=pmxjcZ2u8wOhWwpdDuY2NtPmHur8BLUOPAmrHFtLAQ2xyFD3BqayRhzWDFECVs09CWh3XCnKy3o7NHNH5X/rrgnTAgMBWBXXYMA5YTDHKxf7EEdoaJXDqB5mV4+cfl+pX2Y9y5fwch8899O+/mnBe+OEif+7HhfiO3P8+3AkTIE=;
Received: by f421.i.mail.ru with local (envelope-from <electreg@list.ru>)
	id 1d867Z-0000uf-8B
	for caml-list@inria.fr; Tue, 09 May 2017 17:28:13 +0300
Received: by e.mail.ru with HTTP;
	Tue, 09 May 2017 17:28:13 +0300
From: =?UTF-8?B?QWxleGV5IEVnb3Jvdg==?= <electreg@list.ru>
To: =?UTF-8?B?Y2FtbC1saXN0?= <caml-list@inria.fr>
MIME-Version: 1.0
X-Mailer: Mail.Ru Mailer 1.0
Date: Tue, 09 May 2017 17:28:13 +0300
Reply-To: =?UTF-8?B?QWxleGV5IEVnb3Jvdg==?= <electreg@list.ru>
X-Priority: 3 (Normal)
Message-ID: <1494340093.774647735@f421.i.mail.ru>
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: base64
X-7FA49CB5: 0D63561A33F958A54BD7CF55D82708A702906EC2060E66BFB3C3AAB5B081106D725E5C173C3A84C36CF1085B0667A7C08DD513536CC3A3B364E4DC1543031AB7C4224003CC836476C0CAF46E325F83A50BF2EBBBDD9D6B0F2AF38021CC9F462D574AF45C6390F7469DAA53EE0834AAEE
X-Mailru-Sender: C3B6FA7B52A13319A014BA294B2DDA6BDB1F15026A049F20AE812B77663E2CCD6136C6D5E618280D0EEECA39016A6CE61EACBA293B7E293CC60CD3478938ABCF23B6B337D64FF7E5C3FF7108FD363B61DCCAEA2052E59B08FF6847EE9E420E1B0738ADA3796C57283453F38A29522196
X-Mras: OK
X-Spam: undefined
Subject: [Caml-list] [ANN] Clarity - functional programming library for
 OCaml

RGVhciBPQ2FtbCB1c2VycywKCkknZCBsaWtlIHRvIGFubm91bmNlIGZpcnN0
IHJlbGVhc2Ugb2YgQ2xhcml0eSAtIHRoZSBsaWJyYXJ5IHRoYXQgdHJpZXMg
dG8gbWFrZSBwdXJlIGZ1bmN0aW9uYWwgcHJvZ3JhbW1pbmcgaWRpb21zIGFz
IHVzZWZ1bCBhcyBwb3NzaWJsZSBnaXZlbiBPQ2FtbCdzIGFic2VuY2Ugb2Yg
aGlnaGVyLWtpbmRlZCB0eXBlcyBhbmQgdHlwZWNsYXNzZXMuCgpJdCBmZWF0
dXJlcyBzb21lIHdlbGwta25vd24gImNsYXNzZXMiIGxpa2UgRnVuY3Rvciwg
QXBwbGljYXRpdmUgYW5kIE1vbmFkIGFsb25nIHdpdGggY29uY3JldGUgaW5z
dGFuY2VzIGFuZCB1dGlsaXR5IGZ1bmN0aW9ucy4KCkdpdEh1YiBwYWdlIC0g
aHR0cHM6Ly9naXRodWIuY29tL0luZGlzY3JpbWluYXRlQ29kaW5nL2NsYXJp
dHkKQWxzbyB5b3UgY2FuIGluc3RhbGwgaXQgZnJvbSBvcGFtLXJlcG9zaXRv
cnku