[Haskell-cafe] Proving correctness

Albert Y. C. Lai trebla at vex.net
Mon Feb 14 21:08:51 CET 2011

On 11-02-14 03:03 PM, Pavel Perikov wrote:
> Sorely, Haskell can't prove logic with it. No predicates on values, guarantee that proof is not _|_. Haskell makes bug free software affordable, that's true. But it's not a proof assistant.

Who claimed that Haskell is a proof assistant?

More information about the Haskell-Cafe mailing list