GitHub repository: psosera/myth
Primary language: OCaml
Created: 2015-05-14T17:44:55Z
Description: Type-and-example-driven program synthesis for functional programming languages