FROSTWIRE-666

FROSTWIRE-666 is a esolang created by User:Yayimhere. its some combinators for Combinatory logic. The name was chosen by ChatGPT when creating AI made dis, but has been used for this language instead.

Combinators

FROSTWIRE-666 has these operators:

K from SKI
ʎ̥ x = B (K) x (S)
ᶑ̊ x y = y x
ɤ̞ x y=S (B x x x) (ꞎ y) #instead of θ in ꞎ its ᶑ̊
ƛ x=x x
ꞎ x y z=B (θ x y) x z
ɯ̽ x y=(x y)

for θ (the Turing fixed-point combinator) see Combinatory_logic#Non-primitives.

Computational class

A Turing complete SKI basis can be formed from these combinators:

• K = K
• ɯ̽ can function as the identity function I, if we limit ourselves to functions-which-take-one-argument, i.e.: Combinators. to make sure its always identity you can do ɯ̽ɯ̽
• S = ʎ̥ɯ̽ɯ̽, because ʎ̥ = BK(x)S = K(x(S)). With x = I, ʎ̥I = KS, and KS* = S (where * can be any argument)

Implementations

• Python module (Gist)