package feat-core
Facilities for enumerating and sampling algebraic data types
Install
Dune Dependency
Authors
Maintainers
Sources
archive.tar.gz
md5=876efce3e1bdd1b5a00b7a1ced3acf24
sha512=b70b9d9da3c36907d2c5d6cb9028e69e1ec5c1335b838cb2da3d388fcf90123ea3c2c6a52ea76592c3802126832960af295a128b759acb47bb5500e7e4861116
README.md.html
Feat
Feat is an OCaml library that offers support for counting, enumerating, and sampling objects of a certain kind, such as (say) the inhabitants of an algebraic data type.
Documentation
See the documentation of the latest released version.
The external library Fix comes in handy when building enumerations of recursive algebraic data types: see the demo.