jfeser/L2

λ² is a tool for synthesizing functional programs from input-output examples.

语言：OCaml · GitHub 星标：88 · Fork：6

话题：program-synthesis

在 GitHub 上查看原仓库