[Haskell-cafe] A Mascot
haberg-1 at telia.com
Thu Nov 17 00:36:18 CET 2011
On 16 Nov 2011, at 23:49, heathmatlock wrote:
> I took Jerzy's suggestions into consideration and made the lamb skinnier, maybe it looks less like a penguin now.
A formula that is Haskell specific is
\x -> ⊥ ≠ ⊥
It is mentioned in the Haskell 98 Report, sec. 6.2, "Strict Evaluation", p. 82. The LHS and RHS are different, because they can be distinguished by seq.
More information about the Haskell-Cafe