Ranked programming: Probabilistic programming without probabilitiesgithub.com/tjitze61 pointsharperlee6 years ago