14 Apr
2010
14 Apr
'10
4:31 p.m.
On Apr 14, 2010, at 1:24 PM, Ashley Yakeley wrote:
Bottoms should not be considered values. They are failures to calculate values, because your calculation would never terminate (or similar condition).
And yet you are trying to recover the semantics of comparing bottoms.