quine (456B)
1 With lambda (= 'quote'): 2 : ('((X) (list (lit X) (lit X))) '((X) (list (lit X) (lit X)))) 3 -> ('((X) (list (lit X) (lit X))) '((X) (list (lit X) (lit X)))) 4 5 6 With 'let': 7 : (let X '(list 'let 'X (lit X) X) (list 'let 'X (lit X) X)) 8 -> (let X '(list 'let 'X (lit X) X) (list 'let 'X (lit X) X)) 9 10 11 Cheating: 12 : (de quine NIL 13 (pp 'quine) ) 14 -> quine 15 16 : (quine) 17 (de quine NIL 18 (pp 'quine) ) 19 -> quine 20 21 22 Succinct: 23 : T 24 -> T