User:Yayimhere/Sandbox/瓜

this is me, trying to prove 瓜 TC!!! seems feasible lol. # is used for comments

code n stuff

瓜(瓜)
(瓜)a
a

is SORT of useful program. it becomes:

瓜(瓜) -> 瓜瓜
(瓜)a -> 瓜a
a    -> a

and then:

瓜(瓜) -> 瓜瓜
瓜a    -> 瓜瓜
a      -> 瓜

which I know just ends up as a bunch of 瓜's but see, replacements within replacements!

(X (X X))
瓜X
|
v
(瓜 (瓜 瓜))
瓜瓜

this is useless by itself. but can (X (X X)) be used?

( (X X) )

this becomes

 ( (瓜 瓜) )

so now ) ) will become a normal 瓜. actually... TC is impossible, because everything will eventually become 瓜.