Return-Path: <John.Harrison-request@cl.cam.ac.uk>
Delivery-Date: 
Received: from antares.mcs.anl.gov (actually antares9.mcs.anl.gov !OR! owner-qed@mcs.anl.gov) 
          by swan.cl.cam.ac.uk with SMTP (PP-6.5) outside ac.uk;
          Mon, 8 Aug 1994 08:46:20 +0100
Received: from localhost (listserv@localhost) 
          by antares.mcs.anl.gov (8.6.4/8.6.4) id CAA04585 for qed-out;
          Mon, 8 Aug 1994 02:37:22 -0500
Received: from chelm.nmt.edu (chelm.nmt.edu [129.138.6.50]) 
          by antares.mcs.anl.gov (8.6.4/8.6.4) with ESMTP id CAA04580 
          for <qed@mcs.anl.gov>; Mon, 8 Aug 1994 02:37:17 -0500
Received: (from yodaiken@localhost) by chelm.nmt.edu (8.6.8.1/8.6.6) 
          id BAA07142; Mon, 8 Aug 1994 01:40:15 -0600
Message-Id: <199408080740.BAA07142@chelm.nmt.edu>
From: yodaiken@sphinx.nmt.edu (Victor Yodaiken)
Date: Mon, 8 Aug 1994 01:40:14 -0600
In-Reply-To: Piotr Rudnicki <piotr@cs.ualberta.ca> "Types Considered Harmful" (Aug 3, 4:19pm)
reply_to: yodaiken@chelm.nmt.edu
X-Mailer: Mail User's Shell (7.2.5 10/14/92)
To: Piotr Rudnicki <piotr@cs.ualberta.ca>, qed@mcs.anl.gov (qed list)
Subject: Re: Types Considered Harmful
Sender: owner-qed@mcs.anl.gov
Precedence: bulk

Did I miss something, or is this just a not so wonderful re-explanation
of how everything can be encoded in sets?