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 _______________________________________________ Haskell-Cafe mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell-cafe
