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

[Alberto G. Corona]

> This isn`t a manifestation of the Curry-Howard isomorphism?
>
> 2010/6/8 Alexander Solla <ajs at 2piix.com>
>
>
>> On Jun 7, 2010, at 4:10 PM, Alexander Solla wrote:
>>
>>
>>>  You might note how much like evaluating the function generating the
>>> analysis is.
>>>
>>
>>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.haskell.org/pipermail/haskell-cafe/attachments/20100608/a4bea18e/attachment.html