UChicago-PL/smyth

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

语言：OCaml · GitHub 星标：55 · Fork：5

话题：holes · program-sketching · program-synthesis · programming-by-example

在 GitHub 上查看原仓库