Coq (coq.inria.fr) can do that, and its language has a resemblance to Haskell. However, by dealing with Coq, you are heavily risking your brain, so beware.
2009/3/18 Tim Newsham <[email protected]>: > 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 > [email protected] > http://www.haskell.org/mailman/listinfo/haskell-cafe > -- Eugene Kirpichov Web IR developer, market.yandex.ru _______________________________________________ Haskell-Cafe mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell-cafe
