Introduction to probabilistc programming in TreePPL

This is just a placeholder for now. This tutorial will introduce you to probabilistic programming and TreePPL, starting from coin flipping and ending with CRB.