A brief note to announce the first release of Feat:
opam install feat
Feat is a library that offers support for counting, enumerating, and sampling
objects of a certain kind, such as (say) the inhabitants of an algebraic data
Feat was inspired by the paper “Feat: Functional Enumeration of Algebraic Types”
by Jonas Duregård, Patrik Jansson and Meng Wang (2012).
More details can be found here: