| From: Asumu Takikawa (asumu at ccs.neu.edu) Date: Thu Oct 11 18:38:47 EDT 2012 |
|
Hi all,
Is there any easy way to globally re-write the ellipsis pattern in Redex
to some other representation of a sequence? (for typesetting)
For example, re-writing
(e ...) to the equivalent of \overline{e}
I couldn't think of a way to do this with lw-rewriters since those
always seem to dispatch on the head of a list. Atomic rewriters also
don't work since they wouldn't let me get the line. Am I missing
anything?
Cheers,
Asumu
| Posted on the users mailing list. |
|