From jcowan@reutershealth.com Fri Nov 14 14:27:31 2003 Return-Path: X-Sender: jcowan@reutershealth.com X-Apparently-To: lojban@yahoogroups.com Received: (qmail 89054 invoked from network); 14 Nov 2003 22:27:25 -0000 Received: from unknown (66.218.66.167) by m11.grp.scd.yahoo.com with QMQP; 14 Nov 2003 22:27:25 -0000 Received: from unknown (HELO mail.reutershealth.com) (65.246.141.36) by mta6.grp.scd.yahoo.com with SMTP; 14 Nov 2003 22:27:25 -0000 Received: from skunk.reutershealth.com (mail [65.246.141.36]) by mail.reutershealth.com (Pro-8.9.3/Pro-8.9.3) with SMTP id RAA20383; Fri, 14 Nov 2003 17:22:21 -0500 (EST) Received: by skunk.reutershealth.com (sSMTP sendmail emulation); Fri, 14 Nov 2003 17:27:22 -0500 Date: Fri, 14 Nov 2003 17:27:22 -0500 To: Jorge =?utf-8?Q?Llamb=EDas?= Cc: lojban@yahoogroups.com Subject: Re: [lojban] Re: COI, UI (was Re: cfari) Message-ID: <20031114222722.GO5394@skunk.reutershealth.com> References: <20031114195145.GY15718@digitalkingdom.org> <20031114220544.26854.qmail@web41906.mail.yahoo.com> Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Disposition: inline Content-Transfer-Encoding: quoted-printable In-Reply-To: <20031114220544.26854.qmail@web41906.mail.yahoo.com> User-Agent: Mutt/1.4.1i From: "John Cowan" X-Originating-IP: 65.246.141.36 X-Yahoo-Group-Post: member; u=8122456 X-Yahoo-Message-Num: 21184 Jorge Llamb=EF=BF=BD=EF=BF=BD=1B)B=EF=BF=BDas scripsit: > 2- I'm not very clear about the x1 of fancu, much less on what > jai extracts from it. The x1 of fancu is the abstract function, whereas x4 is the lambda-expresio= n (or equivalent) that specifies it. --=20 "Do I contradict myself? John Cowan Very well then, I contradict myself. jcowan@reutershealth.com I am large, I contain multitudes. http://www.ccil.org/~cowan --Walt Whitman, _Leaves of Grass_ http://www.reutershealth.co= m