Disclaimer (March 2025)

LambAda is maintained in this GitHub repo now! In 2023 I came across Barry Jay’s tree calculus and found it to be a significantly better fit than the Iota combinator. Check out our website for further pointers. Its interactive playground is powered by a descendent of what powers this website.

LambAda Lessons:

Combinatory Logic Lessons:

Samples:



Output — Attempting to interpret your code as a Bool, Nat or string (List of Nat):






Further Information