Andreas Rossberg <rossberg at ps.uni-sb.de> writes: > Apart from that, can you have higher-order macros? With mutual > recursion between a macro and its argument? That is, can you write a > fixpoint operator on macros? Yes, you can. This occurs when you call MACROEXPAND as part of computing the expansion of the macro.