FROSTWIRE-666

From Esolang
Jump to navigation Jump to search

FROSTWIRE-666 is a esolang created by User:Yayimhere. its some combinators for Combinatory logic

combinators

FROSTWIRE-666 has these operators:

S 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 θ see non primitives