[Haskell-cafe] Deciding equality of functions.

[Patrick Browne]

On 10/04/2011 04:22, wren ng thornton wrote:
> The thing is that a lot of the common optimizations (e.g., TCO)
> completely wreck the inductive structure of the function which, in turn,
> makes it difficult to say interesting things about them.[1]

Could you point me to some Haskell references concerning this point.
Thanks,
Pat


This message has been scanned for content and viruses by the DIT Information Services E-Mail Scanning Service, and is believed to be clean. http://www.dit.ie