Bayes update with do-notation

Last updated Apr 23, 2024

Short piece of code that shows Bayes update in do-notation via the subdistribution monad.

• https://github.com/mroman42/bayes-do-notation.

Tags: Bayes theorem, Markov by split