←
Back to
CIS352
at Syracuse
λ
Parse
Examples...
I — Identity
K — Constant
S — Substitution
B — Composition
C — Flip
W — Duplicate
Ω — Omega (diverges!)
True
False
And
Or
Not
If-Then-Else
0
1
2
3
Successor
Addition
Multiplication
Exponentiation
Predecessor
IsZero
Cons
Car
Cdr
Null
Null?
Z Combinator (CBV Y)
S K K → I
Succ 2 → 3
2 + 2 → 4
2 × 3 → 6
2³ → 8
Not True → False
And True True → True
Or True False → True
IsZero 0 → True
Pred 3 → 2
Car (Cons 1 2) → 1
Z Fact (advanced)
?
λ
Enter a term above or choose an example to begin
α
↦
Derivation Tree
Notice the derivation tree
×
B
redexes
Space
step
C
center
↑↓
navigate
R
random
Tab
controls
▶
CIS352
·
Syracuse University