Bayes update with do-notation

Last updated Oct 4, 2022

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