This repository is not active
barghouthi/L2
λ² is a tool for synthesizing functional programs from input-output examples.
OCamlApache-2.0
λ² is a tool for synthesizing functional programs from input-output examples.
OCamlApache-2.0
This repository is not active