An exploration of minimality and parallelism in probabilstic programming languages. - View it on GitHub