Skip to main content
Foldscape
SKI · Iota reducer
✓ normal form
Expression
Reduction trace · 10 steps
00ι (ι (ι ι))
01ι (ι ι) S K
02ι ι S K S K
03ι S K S K S K
04S S K K S K S K
05S K (K K) S K S K
06K S (K K S) K S K
07S K S K
08K K (S K)
09K