Re: [Haskell-cafe] is there a way to prove the equivalence of these two implementations of (Prelude) break function?
8 Jun
2010
8 Jun
'10
9:40 a.m.
This isn`t a manifestation of the Curry-Howard isomorphism?
2010/6/8 Alexander Solla
On Jun 7, 2010, at 4:10 PM, Alexander Solla wrote:
You might note how much like evaluating the function generating the analysis is.
5511
Age (days ago)
5511
Last active (days ago)
0 comments
1 participants
participants (1)
-
Alberto G. Corona