λ² is a tool for synthesizing functional programs from input-output examples.
CHANGES:
Update version of Core and Dune.
Initial release.