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 > _______________________________________________ Haskell-Cafe mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell-cafe
