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.