On 25 Jan 2009, at 10:08, Daniel Fischer wrote:
Am Sonntag, 25. Januar 2009 00:55 schrieb Conal Elliott:
It's obvious because () is a defined value, while bottom is not -
per
definitionem.
I wonder if this argument is circular.
I'm not aware of "defined" and "not defined" as more than informal
terms.
They are informal. I could've written one is a terminating
computation while
the other is not.
Is that a problem when trying to find the least defined element of a
set of terminating computations?
Bob
_______________________________________________
Haskell-Cafe mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/haskell-cafe
