Re: relations aren't types?

From: Adrian Kubala <adrian_at_sixfingeredman.net>
Date: Thu, 15 Jan 2004 23:21:30 -0600
Message-ID: <slrnc0et6q.b4g.adrian_at_sixfingeredman.net>


Marshall Spight <mspight_at_dnai.com> schrieb:
> "Bottom" (sometimes written _|_) is a type that has no values.

I thought that bottom was a value which is a member of all types? Received on Fri Jan 16 2004 - 06:21:30 CET

Original text of this message