[q-lang-users] Strong examples of Q equational programming wanted

[John C. <co...@cc...>]

What I mean by "strong examples" are ones that actually take advantage
of Q's general tree rewriting capabilities.  The examples in the manual
and in the /usr/local/share/examples directory are almost entirely
functional, and would work just as well in ML with occasional
spelling adjustments.

In attempting to explain Q to Scheme programmers, I'm constantly running
up against this lack of compelling examples of what makes Q essentially
unique.  Toy examples about a(b(x)) = c(x) and so on do not cut it.

Can anyone help?

-- 
John Cowan                              co...@cc...
            http://www.ccil.org/~cowan
Humpty Dump Dublin squeaks through his norse
                Humpty Dump Dublin hath a horrible vorse
But for all his kinks English / And his irismanx brogues
                Humpty Dump Dublin's grandada of all rogues.  --Cousin James