The philosophy of Nothing
neal at gafter.com
Sun Nov 29 13:46:58 PST 2009
On Sun, Nov 29, 2009 at 1:06 PM, Paul Benedict <pbenedict at apache.org> 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