A ML-like programming language with type-based probabilistic behavior specification, developed as part of PFN summer internship 2018. - View it on GitHub