From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by c5ff346549e7 (Postfix) with ESMTPS id 5E6265D5 for ; Wed, 5 Dec 2018 20:27:39 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.56,319,1539640800"; d="scan'208";a="358989043" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 05 Dec 2018 21:27:38 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id 4153D82560; Wed, 5 Dec 2018 21:27:38 +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 2C9A0824E4 for ; Wed, 5 Dec 2018 21:27:31 +0100 (CET) X-IronPort-AV: E=Sophos;i="5.56,319,1539640800"; d="scan'208";a="358988994" Received: from bou78-2-82-240-46-163.fbx.proxad.net (HELO MP-41019.local) ([82.240.46.163]) by mail2-relais-roc.national.inria.fr with ESMTP/TLS/AES128-SHA; 05 Dec 2018 21:27:30 +0100 To: caml users From: =?UTF-8?Q?Fran=c3=a7ois_Pottier?= Message-ID: <857e779d-0569-e73a-115d-764aa6a545d9@inria.fr> Date: Wed, 5 Dec 2018 21:27:31 +0100 User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.11; rv:60.0) Gecko/20100101 Thunderbird/60.3.2 MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8; format=flowed Content-Language: fr Content-Transfer-Encoding: 8bit Subject: [Caml-list] [ANN] New release of fix Reply-To: =?UTF-8?Q?Fran=c3=a7ois_Pottier?= X-Loop: caml-list@inria.fr X-Sequence: 17211 Errors-to: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Archive: List-Help: List-Owner: List-Post: List-Subscribe: List-Unsubscribe: Dear OCaml users, I would like to announce a new release of fix, an OCaml library that provides facilities for memoization, hash-consing, and least-fixed-point computations. The library can be installed as follows: opam update && opam install fix.20181130 The repository's README offers some documentation and links to demos: https://gitlab.inria.fr/fpottier/fix/ In particular, this demo, a conversion of regular expressions to finite-state automata by Brzozowski's method, illustrates many of the facilities offered by the library: http://gallium.inria.fr/blog/fixin-your-automata/ Happy fixin', -- François Pottier francois.pottier@inria.fr http://gallium.inria.fr/~fpottier/ -- Caml-list mailing list. Subscription management and archives: https://sympa.inria.fr/sympa/arc/caml-list https://inbox.ocaml.org/caml-list Forum: https://discuss.ocaml.org/ Bug reports: http://caml.inria.fr/bin/caml-bugs