package feat-core

  1. Overview
  2. Docs
Facilities for enumerating and sampling algebraic data types

Install

Dune Dependency

Authors

Maintainers

Sources

archive.tar.gz
md5=876efce3e1bdd1b5a00b7a1ced3acf24
sha512=b70b9d9da3c36907d2c5d6cb9028e69e1ec5c1335b838cb2da3d388fcf90123ea3c2c6a52ea76592c3802126832960af295a128b759acb47bb5500e7e4861116

CHANGES.md.html

CHANGES

2022/01/01

  • Improved documentation.

2021/12/24

  • The library is now split in three packages: feat-core, feat, and feat-num. feat-core is parameterized over an implementation of big integers and over a random number generator. feat instantiates feat-core with big integers from the library zarith and with OCaml's standard random number generator. feat-num instantiates feat-core with big integers from the library num and with OCaml's standard random number generator. The packages feat and feat-num offer the same API and are interchangeable. (See demo/with-feat and demo/with-feat-num to see how the same code can be linked with either package.) The three submodules offered both by feat and by feat-num are Num, IFSeq, and Enum. Compatibility with the previous release of feat should be complete as long as only the submodules IFSeq and Enum were used. (Contributed by Jonah Beckford; reviewed and adapted by François Pottier.)

  • Avoid inadvertent uses of OCaml's polymorphic comparison operators on big integers.

  • Improved documentation.

2020/12/31

  • Initial release.

OCaml

Innovation. Community. Security.