Mario Román

Search

Search IconIcon to open search

Bayes update with do-notation

Last updated Mar 5, 2025

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

Tags: Bayes update, Markov by split