Type-and-example directed program synthesis using example propagation, as described in Program Synthesis Using Example Propagation.
NiekM/scrybe
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
| Name | Name | Last commit date | ||
|---|---|---|---|---|
Type-and-example directed program synthesis using example propagation, as described in Program Synthesis Using Example Propagation.