Type-and-example-driven program synthesis for functional programming languages
Primary LanguageOCamlMIT LicenseMIT
No issues in this repository yet.