27 Jan
2001
27 Jan
'01
2:24 p.m.
On 26-Jan-2001, Marko Schuetz <MarkoSchuetz@web.de> wrote:
I don't think we have absolute freedom. Assuming we want
\forall s : bottom \le s
including s = error, then we should also have error \not\le bottom.
You lost me here. Why should we have error \not\le bottom? Why not just error \not\lt bottom? -- Fergus Henderson <fjh@cs.mu.oz.au> | "I have always known that the pursuit | of excellence is a lethal habit" WWW: <http://www.cs.mu.oz.au/~fjh> | -- the last words of T. S. Garp.