A calculus for computing the contextual likelihood of typed programs and edit actions - View it on GitHub