20 Jan
2009
20 Jan
'09
2:34 a.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