[Haskell-cafe] The Q Programming Language can do symbolic manipulation -- Haskell?

[Casey Hawthorne]

The Q Programming Language can do symbolic manipulation -- Haskell?

The Q Programming Language can do the following:

sqr X = X*X

==>sqr 5
25

==>sqr (X+1) 
(X+1)*(X+1)

Can Haskell do symbolic manipulation?

Or are term-rewriting and the lambda calculus sufficiently far enough
apart concepts?
--
Regards,
Casey