A counting quine in Clojure

counting_quine.clj

(def regular-quine
  "A regular quine. Evals to itself."
  '(let [thing '(list 'let ['thing (list 'quote thing)]
                      thing)]
     (list 'let ['thing (list 'quote thing)]
           thing)))

(= regular-quine (eval regular-quine)) ;; => true

(def counting-quine
  "A counting quine. Does not eval to itself, but produces itself
  when iteratively eval'd 1000 times."
  '(let [x 0
         thing '(list 'let ['x (mod (inc x) 1000)
                            'thing (list 'quote thing)]
                      thing)]
     (list 'let ['x (mod (inc x) 1000)
                 'thing (list 'quote thing)]
           thing)))

(= counting-quine (eval counting-quine)) ;; => false
(= counting-quine ((apply comp (repeat 1000 eval))
                   counting-quine)) ;; => true