Closed mbutterick closed 5 years ago
rule : pat0 pat1 pat2 => (λ (stx) (do-something stx))
This clutters the notation and duplicates what the macro expander is going to do anyhow.
rule : pat0 pat1 pat2 => (λ (stx) (do-something stx))