Dear all, I am happy to announce a new release of Feat, a library that offers support for counting, enumerating, and sampling objects of a certain kind, such as (say) the inhabitants of an algebraic data type. This new release integrates a contribution by Jonah Beckford. The library is now split in three packages: `feat-core` is parameterized over an implementation of big integers; `feat` instantiates `feat-core` with big integers provided by `zarith`; `feat-num` instantiates it with big integers provided by `num`. opam update opam install feat # or: opam install feat-num More details can be found here: https://gitlab.inria.fr/fpottier/feat/ Enjoy, -- François Pottier francois.pottier@inria.fr http://cambium.inria.fr/~fpottier/