Final project for Probabilistic Prog Languages