A λ-calculus synthesizer that invents its own vocabulary. - View it on GitHub