[Haskell-cafe] Re: Why?

pbrowne Patrick.Browne at comp.dit.ie
Fri Dec 11 03:24:03 EST 2009

The issue of *purity* in Haskell and this thread has confused me.

At value level (not type level) is this linked with *equational reasoning*?
Are the operational semantics of Haskell similar but not the same as
equational logic?

Why are theorem provers such as Haskabelle need?


More information about the Haskell-Cafe mailing list