[Haskell-cafe] Re: Improved documentation for Bool

ajb at spamcop.net ajb at spamcop.net
Mon Jan 19 21:42:41 EST 2009

G'day all.

I wrote:

> - Intuitionistic logic systems.
> - The "truth values" of an arbitrary topos (i.e. the points of the
> subobject classifier).

Sorry, I misread the question.  These are _not_ instances of Boolean
(or at least the latter isn't an instance in general).

Andrew Bromage

More information about the Haskell-Cafe mailing list