P.P.S.

Is this The Heart of Homoiconicity™?

A rare warranted use of `eval' (Elisp):

(let ((q '((lambda (x) (list x x)) (lambda (x) (list x x)))))
(equal q (eval q)))
=> t

after
(setq lexical-binding nil)
as needed.

#Elisp
#EmacsLisp
#Homoiconicity
#Lisp
#Quines

@screwlisp

P.S.
A tad of cheating:

(defmacro q (&whole f) "A \"macroexpand-1 quine\"." f)

and I can't say if this gives any useful food for `macrolet' thought.

#CommonLisp
#Quines

@screwlisp

By definition, a quine has no normal form [late correction].
For a well-known example, a _single_ β-reduction of the (reducible) term
(λx.xx)(λx.xx)
yields itself.

Thus giving
((lambda (x) (x x)) (lambda (x) (x x)))
to Scheme doesn't terminate.
(Needs an `eval-1', maybe??)

Then
((lambda (x) (list x x)) (lambda (x) (list x x)))
works in Elisp (but obviously not Common Lisp) with lexical binding off.

Off the top of my head, I don't know how to do it with `macrolet'.

#Lisp
#Quines

@screwlisp

@neauoire

#uxn #quines. It had to happen eventually. XD