[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [lojban] Re: COI, UI (was Re: cfari)
Jorge Llambïï)Bïas scripsit:
> > 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?
No. x1 and x4 are analogous to li and me'o.
> What other gismu places
> are like the x1 of fancu and what other places are like the x4?
x1 and x2 of girzu respectively, except that x4 is a text, not a property.
> Or are they sui generis? Is the x2 of sumti like the x1 of fancu,
> like the x4, or something else?
x2 of sumti is like the x1 of fancu.
--
Only do what only you can do. John Cowan <jcowan@reutershealth.com>
--Edsger W. Dijkstra, http://www.reutershealth.com
deceased 6 August 2002 http://www.ccil.org/~cowan
------------------------ 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/