Try LambAda! a lightweight, flexible language bootstrapped from the Iota combinator

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

• Language Documentation
• Reference Implementation
• Download / Contribute