FWIW, I was trying to figure out if this was the Church successor (no, that&#x27;s &quot;Venture&quot;), and found <a href="http:&#x2F;&#x2F;probcomp.csail.mit.edu&#x2F;" rel="nofollow">http:&#x2F;&#x2F;probcomp.csail.mit.edu&#x2F;</a>, which gives an overview.