package zar
Formally verified sampling from discrete probability distributions
Install
Dune Dependency
Authors
Maintainers
Sources
zar-0.9.1.tbz
sha256=e936ec75c3f8eaffd2dccd89898065e3d295f06f3ce75239985f1f838a125d0f
sha512=2b18e26bd8522546e4373c5b2a57bdb05ccb9674e7c97d6f1cb708e9512f382264401e0e8ec05112800f498b240640b81c8cd4fd7fb05985a66e70e9573b0549
CHANGES.md.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.
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>