Una demostración típica de la homoiconicdad es el evaluador metacircular.