Type-and-example-driven program synthesis for functional programming languages
Primary LanguageOCaml
No one’s watching this repository yet.