Sun Aug 19 14:05:15 CEST 2007
KAT and TAK
I'm looking for a better way to explain the pattern matcher. Usually
generalizing helps. The reason why it seems special is because it is
only used with "macro pattern" and "quasiquoted scheme template"