The λ Language
A minimal programming language built entirely from lambda expressions. Inspired by functional programming and Turing machines.
Lambda Syntax
λx.λy.x y
Core function composition syntax
Booleans
true = λa.λb.a
false = λa.λb.b
Built-in logical values
Church Numerals
0 = λf.λx.x
1 = λf.λx.f x
2 = λf.λx.f(f x)
Numerical representation system
Try λ Programming
Write your λ expression
Result Visualization
Tip: Try expressions like λf.λx.f x or λa.λb.λf.a f (b f)