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

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