conditionals using do-notation

Last updated Dec 7, 2024

• Markov category

The definition of conditionals can be written using do-notation. Bayesian inversions can be also written using do-notation.

Tags: conditional, Markov category.