Hi everybody I need to know if there is a translator from C to Haskell available. I'd also like to know if the usual transformations (fold, unfold, etc. on Haskell code) can be supported by any automatic tool. I'm interested in these kinds of things because I'm using Haskell as support for the denotational semantics of imperative programs in a reverse engineering process. Thanks, gustavo