From sentto-44114-21206-1068848851-lojban-in=lojban.org@returns.groups.yahoo.com Fri Nov 14 14:27:21 2003 Received: with ECARTIS (v1.0.0; list lojban-list); Fri, 14 Nov 2003 14:27:21 -0800 (PST) Received: from n4.grp.scd.yahoo.com ([66.218.66.88]) by chain.digitalkingdom.org with smtp (Exim 4.22) id 1AKmPM-0002f8-0p for lojban-in@lojban.org; Fri, 14 Nov 2003 14:27:16 -0800 X-eGroups-Return: sentto-44114-21206-1068848851-lojban-in=lojban.org@returns.groups.yahoo.com Received: from [66.218.67.193] by n4.grp.scd.yahoo.com with NNFMP; 14 Nov 2003 22:27:32 -0000 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 To: Jorge =?utf-8?Q?Llamb=EDas?= Cc: lojban@yahoogroups.com Message-ID: <20031114222722.GO5394@skunk.reutershealth.com> References: <20031114195145.GY15718@digitalkingdom.org> <20031114220544.26854.qmail@web41906.mail.yahoo.com> 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 MIME-Version: 1.0 Mailing-List: list lojban@yahoogroups.com; contact lojban-owner@yahoogroups.com Delivered-To: mailing list lojban@yahoogroups.com Precedence: bulk Date: Fri, 14 Nov 2003 17:27:22 -0500 Subject: [lojban] Re: COI, UI (was Re: cfari) Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit X-MIME-Autoconverted: from quoted-printable to 8bit by Ecartis X-archive-position: 6703 X-ecartis-version: Ecartis v1.0.0 Sender: lojban-list-bounce@lojban.org Errors-to: lojban-list-bounce@lojban.org X-original-sender: jcowan@reutershealth.com Precedence: bulk Reply-to: lojban-list@lojban.org X-list: lojban-list 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. -- "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.com ------------------------ Yahoo! Groups Sponsor ---------------------~--> Buy Ink Cartridges or Refill Kits for your HP, Epson, Canon or Lexmark Printer at MyInks.com. Free s/h on orders $50 or more to the US & Canada. http://www.c1tracking.com/l.asp?cid=5511 http://us.click.yahoo.com/mOAaAA/3exGAA/qnsNAA/GSaulB/TM ---------------------------------------------------------------------~-> To unsubscribe, send mail to lojban-unsubscribe@onelist.com Your use of Yahoo! Groups is subject to http://docs.yahoo.com/info/terms/