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

[Alexander Solla]

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.