/smyth

Programming-by-example in a typed functional language with sketches. Smyth = Sketching + Myth.

Primary LanguageOCamlMIT LicenseMIT

No issues in this repository yet.