Programming Brain Teaser #2: Self-reference

Let’s continue where we stopped last time with our robot programming language. We’ll need only two rules today, the Q rule (quotation) and the R rule (repetition). Should you need to refresh your memory, the rules are described here. The brain-teaser of the day is: can you find statement x that names itself (i.e. “resolves [...]