[Haskell-cafe] Re: Laws and partial values

[Daniel Fischer]

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.
>
> Which definition(s) are you referring to?
>
>   - Conal
>