Quoting (part 3)

We are are trying to avoid tedious stuff.

Luckily, two groups of people have seen this problem before.
Lisp hackers 
Think about(defmacro ...) 
Logicians
Think about proving programs

They both invented the same thing: quoting.

Quoting (v): 

1. Denoting an AST by providing a piece 
   of text from the language you are trying 
   to construct.