Mario Román

Search

Search IconIcon to open search

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.

Tags: Bayes theorem, Markov by split