From owner-qed Mon Aug 8 02:41:41 1994 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 ; 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 "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 , 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?