/urn-random

A Haskell package for updatable discrete distributions

Primary LanguageCoqMIT LicenseMIT

Watchers