package zar

You can search for identifiers within the package.

in-package search v0.2.0

Formally verified sampling from discrete probability distributions

Install

Dune Dependency

github.com Readme Changelog MIT License Edit opam file Versions (3)

Authors

A

Alexander Bagnall

Maintainers

A

Alexander Bagnall <abagnalla@gmail.com>

Sources

sha256=2a7a509909c8f6c477a17729098d7ae4d3a6c3dea2eb711079abe751d3cd95a0

sha512=501aae0bae51d4a48fbc96118641d1eb5ca414cb187cf007cf9f5308b9a34226ba571a3c6019aa008d1afb85735fe389263d54289d75416377745a6f09e4f2b8

CHANGES.md.html

0.9.2 (2023-04-10)

API change: include Stream module in root Zar module.

0.9.1 (2023-04-04)

Fix qcheck tests for 32-bit systems and reorganize modules and interface to use streams.

0.9 (2023-04-01)

Initial release. Includes coin, die, and findist samplers with QCheck tests for numeric conversion functions.