The philosophy of Nothing

Neal Gafter neal at
Sun Nov 29 13:46:58 PST 2009

On Sun, Nov 29, 2009 at 1:06 PM, Paul Benedict <pbenedict at> wrote:

> Neal, can clarify this:
> > There are no elements of the type Nothing. Therefore all of the elements
> > of the type Nothing are elements of the type T, for every T.
> The first statement says there are no elements, but the second says
> there are elements.

No it doesn't.  It is a (vacuously) true statement that does not require the
existence of any elements.

More information about the coin-dev mailing list