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 Edit opam file Versions (3)

Authors

A

Alexander Bagnall

Maintainers

A

Alexander Bagnall <abagnalla@gmail.com>

Sources

sha256=e936ec75c3f8eaffd2dccd89898065e3d295f06f3ce75239985f1f838a125d0f

sha512=2b18e26bd8522546e4373c5b2a57bdb05ccb9674e7c97d6f1cb708e9512f382264401e0e8ec05112800f498b240640b81c8cd4fd7fb05985a66e70e9573b0549

doc/CHANGES.html

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.

On This Page

0.9 (2023-04-01)