Re: [Haskell-cafe] is there a way to prove the equivalence of these two implementations of (Prelude) break function?

On Jun 7, 2010, at 4:10 PM, Alexander Solla wrote:

For exposition, I'll do the analysis for the Prelude function. You might note how much like evaluating the function

Correction:

You might note how much like evaluating the function generating the analysis is.