Type-and-example-driven program synthesis for functional programming languages
Primary LanguageOCamlMIT LicenseMIT