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