Functions for elementary Bayesian inference
