From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <daniel.buenzli@erratique.ch>
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 0B6247FFB2
	for <caml-list@sympa.inria.fr>; Fri, 11 Mar 2016 20:12:19 +0100 (CET)
IronPort-PHdr: 9a23:2jsDbBHb8S4hZ+fnOtUOtJ1GYnF86YWxBRYc798ds5kLTJ75r8SwAkXT6L1XgUPTWs2DsrQf27WQ4/GrADVdqb+681k8M7V0HycfjssXmwFySOWkMmbcaMDQUiohAc5ZX0Vk9XzoeWJcGcL5ekGA6ibqtW1aJBzzOEJPK/jvHcaK1oLsh7/0q8yYOlwVzBOGIppMbzyO5T3LsccXhYYwYo0Q8TDu5kVyRuJN2GlzLkiSlRuvru25/Zpk7jgC86l5r50IeezAcq85Vb1VCig9eyBwvZWz9EqLcQza3HoXUi0wnwFXBAzJpEXgX5zx9C33rfV63CWyMsj/TLRyUjOnufRFUhjt3QsOMT809Fb9HspiiKMT9B6ooR1yx8jefYyTJv5/Vq7HZ9oGRHNcU4BaV3oSUcuHc4ITAr9Zbq5jpI7nqg5L9EPmCA==
Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=daniel.buenzli@erratique.ch; spf=None smtp.mailfrom=daniel.buenzli@erratique.ch; spf=None smtp.helo=postmaster@smtp.webfaction.com
Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  daniel.buenzli@erratique.ch) identity=pra;
  client-ip=74.55.86.74;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="daniel.buenzli@erratique.ch";
  x-sender="daniel.buenzli@erratique.ch";
  x-conformance=sidf_compatible
Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  daniel.buenzli@erratique.ch) identity=mailfrom;
  client-ip=74.55.86.74;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="daniel.buenzli@erratique.ch";
  x-sender="daniel.buenzli@erratique.ch";
  x-conformance=sidf_compatible
Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  postmaster@smtp.webfaction.com) identity=helo;
  client-ip=74.55.86.74;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="daniel.buenzli@erratique.ch";
  x-sender="postmaster@smtp.webfaction.com";
  x-conformance=sidf_compatible
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: A0BjAAA6GONWkkpWN0pdvycBDYFthg0CgWkUAQEBAQEBAQEQAQEBAQcLCwkhL0ESAYFZghUBAQQjVhALGgImAgJHEAYbiBwEriGPJAEKAQEBHHyJXoQ4gwIrgQ8Fl0OPSgGHUg6FU45xHgEBglaBUYMKiDABAQE
X-IPAS-Result: A0BjAAA6GONWkkpWN0pdvycBDYFthg0CgWkUAQEBAQEBAQEQAQEBAQcLCwkhL0ESAYFZghUBAQQjVhALGgImAgJHEAYbiBwEriGPJAEKAQEBHHyJXoQ4gwIrgQ8Fl0OPSgGHUg6FU45xHgEBglaBUYMKiDABAQE
X-IronPort-AV: E=Sophos;i="5.24,321,1454972400"; 
   d="scan'208";a="168234839"
Received: from mail6.webfaction.com (HELO smtp.webfaction.com) ([74.55.86.74])
  by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 11 Mar 2016 20:11:48 +0100
Received: from [172.20.10.2] (11.224.197.178.dynamic.wless.zhbmb00p-cgnat.res.cust.swisscom.ch [178.197.224.11])
	by smtp.webfaction.com (Postfix) with ESMTP id 360C520CFC49;
	Fri, 11 Mar 2016 19:11:44 +0000 (UTC)
Date: Fri, 11 Mar 2016 20:11:38 +0100
From: =?utf-8?Q?Daniel_B=C3=BCnzli?= <daniel.buenzli@erratique.ch>
To: Rich Neswold <rich.neswold@gmail.com>
Cc: =?utf-8?Q?David_Kaloper_Mer=C5=A1injak?= <dk505@cam.ac.uk>, OCaml
 List <caml-list@inria.fr>
Message-ID: <F82C4B64AA3546A5B0D21F686D171219@erratique.ch>
In-Reply-To: <CAGT4q5rTWy5ZjbZQ4P+5jgg6SVq+0eTUuexqfUCkCwwLZC+onw@mail.gmail.com>
References: <CAAhS_v_S7iMCL2Y1Oh8y2GAzdUYHRUorwubRuatr4e-beEDUEg@mail.gmail.com>
 <CAGT4q5rTWy5ZjbZQ4P+5jgg6SVq+0eTUuexqfUCkCwwLZC+onw@mail.gmail.com>
X-Mailer: sparrow 1.6.4 (build 1178)
MIME-Version: 1.0
Content-Type: text/plain; charset="utf-8"
Content-Transfer-Encoding: quoted-printable
Content-Disposition: inline
Subject: Re: [Caml-list] [ANN] Notty 0.1.0

Le vendredi, 11 mars 2016 =C3=A0 19:56, Rich Neswold a =C3=A9crit :
> A big "Thank you!" to both you and Daniel for creating this elegant libra=
ry!

Just to make that clear, David is the *sole* mastermind and culprit of the =
elegance behind the library. I only offered some comments and made a pre-re=
lease review of the API.

Best,=20=20

Daniel