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. 
> 
> http://imgur.com/4oeJz

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.

Hans



_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe

Reply via email to