[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [lojban] Re: COI, UI (was Re: cfari)

To: Jorge Llamb� <jjllambias2000@yahoo.com.ar>
Subject: Re: [lojban] Re: COI, UI (was Re: cfari)
From: "John Cowan" <jcowan@reutershealth.com>
Date: Fri, 14 Nov 2003 17:27:22 -0500
Cc: lojban@yahoogroups.com
In-reply-to: <20031114220544.26854.qmail@web41906.mail.yahoo.com>
References: <20031114195145.GY15718@digitalkingdom.org> <20031114220544.26854.qmail@web41906.mail.yahoo.com>
User-agent: Mutt/1.4.1i

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

Follow-Ups:
- Re: [lojban] Re: COI, UI (was Re: cfari)
  - From: Jorge "Llambías" <jjllambias2000@yahoo.com.ar>

References:
- [lojban] Re: COI, UI (was Re: cfari)
  - From: Robin Lee Powell <rlpowell@digitalkingdom.org>
- [lojban] Re: COI, UI (was Re: cfari)
  - From: Jorge "Llambías" <jjllambias2000@yahoo.com.ar>

Prev by Date: [lojban] Re: COI, UI (was Re: cfari)
Next by Date: Re: [lojban] Re: COI, UI (was Re: cfari)
Previous by thread: [lojban] Re: COI, UI (was Re: cfari)
Next by thread: Re: [lojban] Re: COI, UI (was Re: cfari)
Index(es):
- Date
- Thread