User:Yayimhere/Cyclic quine lang

program: f([x,∴,d])
output: [x+d,→,x]
program: f([x,→,y])
output: [x-1,→,y]
program: f([y,→,y])
output: [x,∴,d]

f is the evaluation function. now define Ø(x) which returns the output of x. then:

program: f([x,y,z][w,s,e])
output: Ø([x,y,z])Ø([w,s,e])