16 Nov
2011
16 Nov
'11
11:36 p.m.
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. Hans