14 Feb
2011
14 Feb
'11
3:08 p.m.
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?