19 Jan
2009
19 Jan
'09
9:34 p.m.
On Mon, Jan 19, 2009 at 6:25 PM, David Menendez
Are there any instances of Boolean that aren't isomorphic to Bool?
a->Bool for any a. I think. Though I think it should be called GeorgeBoolean otherwise we might confuse it for something his father might have invented. -- Dan