Foundations of the Giry Monad| jtobin.io
A Simple Embedded Probabilistic Programming Language| jtobin.io
