ANN: First release of Feat

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.

6 Likes