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

Re: [jboske] The ugly head of ni



In a message dated 11/6/2002 7:59:24 PM Central Standard Time, a.rosta@lycos.co.uk writes:
<<
Well I have {ni ko'a} under control -- I think we all do, even if
xod thinks that jei can do ni's job. But I don't know what ni+ce'u
means. I invite people to tell me

>>
I just did: it is the lambdaization of {ni ko'a...}, that is, a property of ordered pairs <sumti, quantity> such that quantity is ni [sumti] ... and each sumti occurs in only one op.