From jjllambias2000@yahoo.com.ar Fri Nov 14 14:54:42 2003 Return-Path: X-Sender: jjllambias2000@yahoo.com.ar X-Apparently-To: lojban@yahoogroups.com Received: (qmail 26825 invoked from network); 14 Nov 2003 22:54:36 -0000 Received: from unknown (66.218.66.218) by m18.grp.scd.yahoo.com with QMQP; 14 Nov 2003 22:54:36 -0000 Received: from unknown (HELO web41902.mail.yahoo.com) (66.218.93.153) by mta3.grp.scd.yahoo.com with SMTP; 14 Nov 2003 22:54:36 -0000 Message-ID: <20031114225436.57966.qmail@web41902.mail.yahoo.com> Received: from [200.69.6.30] by web41902.mail.yahoo.com via HTTP; Fri, 14 Nov 2003 14:54:36 PST Date: Fri, 14 Nov 2003 14:54:36 -0800 (PST) Subject: Re: [lojban] Re: COI, UI (was Re: cfari) To: lojban@yahoogroups.com In-Reply-To: <20031114222722.GO5394@skunk.reutershealth.com> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii From: Jorge "Llambías" X-Originating-IP: 66.218.93.153 X-Yahoo-Group-Post: member; u=142311107 X-Yahoo-Profile: jjllambias2000 X-Yahoo-Message-Num: 21185 --- John Cowan wrote: > Jorge Llamb��)B�as 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-expresion > (or equivalent) that specifies it. Shouldn't those two be interreplaceable? What other gismu places are like the x1 of fancu and what other places are like the x4? Or are they sui generis? Is the x2 of sumti like the x1 of fancu, like the x4, or something else? mu'o mi'e xorxes __________________________________ Do you Yahoo!? Protect your identity with Yahoo! Mail AddressGuard http://antispam.yahoo.com/whatsnewfree