Hoopje's CL Reducer

Results

Term: S(S(KK)(SKK))(Ky)

This is a normal form.

Home