Lazy K, 8(削除) 8 (削除ここまで) 7 bytes
SII(SII)SISSSII
SII is Reduces to the lambda calculus combinatorexpression ω = (λx.x x). Clearly, ω ω evaluates to ω(λx.x ωx) evaluates to ..which has no normal form.
Lazy K, 8 bytes
SII(SII)
SII is the lambda calculus combinator ω = (λx.x x). Clearly, ω ω evaluates to ω ω evaluates to ...
Lazy K, (削除) 8 (削除ここまで) 7 bytes
SISSSII
Reduces to the lambda expression (λx.x x) (λx.x x) which has no normal form.