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. |
|