From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <caml-list-owner@inria.fr>
Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83])
	by c5ff346549e7 (Postfix) with ESMTPS id 74E305D5
	for <caml-list@inbox.ocaml.org>; Fri, 31 Dec 2021 17:08:22 +0000 (UTC)
X-IronPort-AV: E=Sophos;i="5.88,252,1635199200"; 
   d="scan'208";a="13098302"
Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160])
  by mail2-relais-roc.national.inria.fr with ESMTP; 31 Dec 2021 18:08:21 +0100
Received: by sympa.inria.fr (Postfix, from userid 20132)
	id 32B6BE02AC; Fri, 31 Dec 2021 18:08:21 +0100 (CET)
Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83])
	by sympa.inria.fr (Postfix) with ESMTPS id DA837E0120
	for <caml-list@sympa.inria.fr>; Fri, 31 Dec 2021 18:08:17 +0100 (CET)
IronPort-Data: =?us-ascii?q?A9a23=3A+jUeEK7usNpkhhMXqv8QAwxRtAXFchMFZxGqfqr?=
 =?us-ascii?q?LsXjdYENShTIPnGVMCmqFPfbZZzDxfN4gPtiy90lQup6AzddkS1A5pCpnJ55og?=
 =?us-ascii?q?ZqcVI7Bdi8cHAvLc5adFBo/hykmh2ipwPkcFhcwnT/wdOixxZVA/fvQHOOlUrW?=
 =?us-ascii?q?dYnsZqTJME0/NtzoywobVvaY42bBVMyvV0T/Di5W31G2Ng1aYAUpIg063ky6Di?=
 =?us-ascii?q?dyp0N8uUvPSUtgQ1LPWvyF94JvyvshdJVOgKmVfNrbSq+ouUNiEEm3lExcFUrt?=
 =?us-ascii?q?Jk57ee0YgRbnReDCUjT8LHayliRFGzsAw+vdicqNDNAEO0WrPxYksoDlOncXYp?=
 =?us-ascii?q?QMBMLfFnu8aUgIeCyZiIaxL4pfGJ2K+uIqd1SUqdlO1mK0/XBtmYOX0/c4yWwm?=
 =?us-ascii?q?i78cwIzkIalWHhvmq6KmqT/FlwMUlNsjieo0F0kyMZxmx4e0OEMmGGvqXoIYCg?=
 =?us-ascii?q?3Jq350IBuvUfIwBcz1/ZRiGZRBTUmr7wakWxI+A7kQTuRUBwL5NmZcK3g=3D?=
 =?us-ascii?q?=3D?=
IronPort-HdrOrdr: =?us-ascii?q?A9a23=3AEp65Oa7l/Of3d9DJ4QPXwaeBI+orL9Y04lQ7?=
 =?us-ascii?q?vn2ZESYlFPBw5Pre5cjztCWE9Qr5N0tQ++xoVJPufZqYz+8T3WBzB8bfYOCFgh?=
 =?us-ascii?q?rMEGgK1+KLqFeMdxEWtNQtsZuIGJIeNDSENykYsS+M2mmF+rgbruWvweSBvKP+?=
 =?us-ascii?q?9jNIRQFuUatp6AB0EW+gYzxLbTgDLaN8NaPZwsJGogCrcXMRYt/+KWICW4H41q?=
 =?us-ascii?q?32vaOjSSdDJidizAGPiAmj4Ln8HwPd/jp2aUIw/Z4StUD91y3BooGqs/SAwBfa?=
 =?us-ascii?q?0GPJq7RQl937ztNfBMqK4/JlVQkEwTzYHLiJE4fyxwzdvtvfm2oCoZ3ymD1lBu?=
 =?us-ascii?q?JXy1ngOluJiSbQ4WDboUITwk6n9mSzxUHbiei8fg8TNuYpv/MtTjLpr3UalpVH?=
 =?us-ascii?q?6Ypum1iln6dqN3r77VbADvbzJmtXqnY=3D?=
X-IronPort-AV: E=Sophos;i="5.88,252,1635199200"; 
   d="scan'208";a="13098285"
Received: from 91-175-127-215.subs.proxad.net (HELO MacBook-Pro-5.local) ([91.175.127.215])
  by mail2-relais-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 31 Dec 2021 18:08:18 +0100
To: OCaML Mailing List <caml-list@inria.fr>
From: =?UTF-8?Q?Fran=c3=a7ois_Pottier?= <francois.pottier@inria.fr>
Message-ID: <4b28146f-19e9-6371-66d4-8c7469253414@inria.fr>
Date: Fri, 31 Dec 2021 18:08:17 +0100
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.15; rv:68.0)
 Gecko/20100101 Thunderbird/68.12.1
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Language: fr
Content-Transfer-Encoding: 8bit
Subject: [Caml-list] [ANN] Updated documentation for Fix
Reply-To: =?UTF-8?Q?Fran=c3=a7ois_Pottier?= <francois.pottier@inria.fr>
X-Loop: caml-list@inria.fr
X-Sequence: 18636
Errors-To: caml-list-owner@inria.fr
Precedence: list
Precedence: bulk
Sender: caml-list-request@inria.fr
X-no-archive: yes
List-Id: <caml-list.inria.fr>
List-Help: <mailto:sympa_inria@inria.fr?subject=help>
List-Subscribe: <mailto:sympa_inria@inria.fr?subject=subscribe%20caml-list>
List-Unsubscribe: <mailto:sympa_inria@inria.fr?subject=unsubscribe%20caml-list>
List-Post: <mailto:caml-list@inria.fr>
List-Owner: <mailto:caml-list-request@inria.fr>
List-Archive: <http://sympa.inria.fr/sympa/arc/caml-list>
Archived-At: <http://sympa.inria.fr/sympa/arcsearch_id/caml-list/2021-12/4b28146f-19e9-6371-66d4-8c7469253414%40inria.fr>


Dear OCaml users,

My last contribution for 2021 is an improved documentation for Fix, a 
library
that helps with various algorithmic constructions that involve memoization,
recursion, and numbering.

The documentation can be viewed online:

   http://cambium.inria.fr/~fpottier/fix/doc/fix/

It can also be viewed locally (on your own machine) as follows:

   opam update
   opam install fix.20211231
   opam install odig
   odig odoc                 # this may take some time
   odig doc fix              # this opens the doc in your browser

Happy fix'in' in 2022,

--
François Pottier
francois.pottier@inria.fr
http://cambium.inria.fr/~fpottier/