A lambda calculus to explore type-directed program synthesis. - View it on GitHub