1 result found Sort:

UChicago-PL
smyth UChicago-PL
5
53
mit
4
Programming-by-example in a typed functional language with sketches. Smyth = Sketching + Myth.
holes program-sketching program-synthesis programming-by-example
Created 2020-04-13
297 commits to main branch, last one 3 years ago