  We present Scrybe, an example-based synthesis tool for a statically-typed
functional programming language, which combines top-down deductive reasoning in
the style of $\lambda^2$ with Smyth-style live bidirectional evaluation. During
synthesis, example constraints are propagated through sketches to prune and
guide the search. This enables Scrybe to make more effective use of functions
provided in the context. To evaluate our tool, it is run on the combined,
largely disjoint, benchmarks of $\lambda^2$ and Myth. Scrybe is able to
synthesize most of the combined benchmark tasks.

Programming Languages