Is there a symbolic evaluator for Haskell that will perform all
applications except on specified functions?  Ie. I would love
something that would take

    foldr (+) (6 `div` 5) [1,2,3*4]

and "(+) (*)" and return

   1 + (2 + (3*4 + 1))

by performing all the applications except for (+) and (*).
(Something that supports ghc extensions is preferred :)

Tim Newsham
http://www.thenewsh.com/~newsham/
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe

Reply via email to