[q-lang-users] Seen on LtU

http://lambda-the-ultimate.org/node/1715 refers to a paper about
Haskell strings; the abstract contains the magic phrase "[e]quational
transformations based on term rewriting".  I haven't read the paper
itself, but it's at http://www.cse.unsw.edu.au/~dons/papers/fusion.pdf .

-- 
Samuel Johnson on playing the violin:           John Cowan
"Difficult do you call it, Sir?                 co...@cc...
 I wish it were impossible."                    http://www.ccil.org/~cowan