A brief note to announce the first release of Feat:
opam update
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
type.
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:
Projects · POTTIER Francois / feat · GitLab
François.