Pure Macros as a Programming Language (cs.dartmouth.edu)

I can't make sense of this other than to say that in some ineffable way it brings Gödel, Escher, Bach to mind.