Featherweight embedded probabilistic programming language and compositional inference programming library - View it on GitHub