19 Jan
2009
19 Jan
'09
9:25 p.m.
On Mon, Jan 19, 2009 at 7:22 PM,
And perhaps more to the point, "Boolean" is an adjective, not a noun. Therefore, it would be better reserved for a typeclass.
There's also John Meacham's Boolean package. http://repetae.net/recent/out/Boolean.html
class (Heyting a) => Boolean a where {- the additional axiom that x || not x == top -}
Are there any instances of Boolean that aren't isomorphic to Bool?
(I'm assuming that (||) and (&&) are intended to be idempotent,
commutative, and associative.)
--
Dave Menendez