Show HN: A probabilistic programming language with exact inference and loops

**Project Summary:** Show HN is an open-source probabilistic programming language that enables exact inference and loops, offering a unique value proposition fo