dice is a probabilistic programming language focused on fast exact inference for discrete probabilistic programs. For more information on dice, see the about page.

Below is an online dice code demo. To run the example code, press the "Run" button.

let a = flip 0.3 in let b = flip 0.8 in let tmp = observe a || b in a