[Haskell-cafe] Proving correctness
apfelmus at quantentunnel.de
Sat Feb 12 10:01:49 CET 2011
Ivan Lazar Miljenovic wrote:
> C K Kashyap wrote:
>> I've come across this a few times - "In Haskell, once can prove the
>> correctness of the code" - Is this true?
> I'm not quite sure where you got that...
> But since Haskell is pure, we can also do equational reasoning, etc.
> to help prove correctness. Admittedly, I don't know how many people
> actually do so...
I did, I did!
More information about the Haskell-Cafe