A domain-specific probabilistic programming language for reasoning about reasoning - View it on GitHub