Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Path: utzoo!mnetor!uunet!seismo!mcnc!ece-csc!uvacs!mac
From: mac@uvacs.CS.VIRGINIA.EDU (Alex Colvin)
Newsgroups: comp.lang.lisp
Subject: Re: cdr encoding (was Re: Importance of REPLACA, REPLACD)
Message-ID: <1793@uvacs.CS.VIRGINIA.EDU>
Date: Mon, 20-Jul-87 15:10:13 EDT
Article-I.D.: uvacs.1793
Posted: Mon Jul 20 15:10:13 1987
Date-Received: Wed, 22-Jul-87 04:27:24 EDT
References: <22@citcom.UUCP> <6900008@iaoobelix.UUCP> <19747@ucbvax.BERKELEY.EDU> <8052@labrea.STANFORD.EDU>
Organization: University of Virginia
Lines: 6
Summary: EQ


Someone once (1980 LISP conference) used the term "Heraclitean"
constructor for CONS.  Heraclitus, you recall, was the pre-Socratic who
"you can't step in the same * twice!" Two CONS calls with EQ
arguments, are not EQ.  I suppose the other (mathematically functional)
version would be a Platonic constructor.