Quine #

I wrote this quine in CA Clipper in or before 1990:

p:="p:=;p:=substr(p,1,3)+chr(34)+p+chr(34)+substr(p,4);Qout(p)";p:=substr(p,1,3)+chr(34)+p+chr(34)+substr(p,4);Qout(p)

in order to “prove” (or demonstrate) Tarski’s Theorem