An experimental Idris2 translation of the Haskell library monad-bayes for probabilistic programming.
idris-bayes/monad-bayes
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
| Name | Name | Last commit date | ||
|---|---|---|---|---|
An experimental Idris2 translation of the Haskell library monad-bayes for probabilistic programming.