Try these: * (λx.xxx)(λx.xxx) * (λx.xx)(λx.xx) * SIx * SKK * 5I * 3K
(λa.a(λb.a(λc.a(λd.a))))I
I(λa.
I(λb.
IC
0
)
)
I(λa.
I(λb.C
0
)
)
I(λab.
IC
0
)
λa.
I(λb.
IC
0
)
I(λab.C
0
)
λa.
I(λb.C
0
)
λab.
IC
0
λab.C
0