[email protected]
[Top] [All Lists]

Re: [Haskell-cafe] Re: Why?

Subject: Re: [Haskell-cafe] Re: Why?
From: pbrowne
Date: Fri, 11 Dec 2009 08:24:03 +0000
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?
http://www.mail-archive.com/[email protected]/msg64843.html


Pat

_______________________________________________
Haskell-Cafe mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/haskell-cafe

<Prev in Thread] Current Thread [Next in Thread>