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

Re: [lojban] Re: Multiple-variable abstractions



coi

On 2021-01-13 16:17, scope845hlang343jbo@icebubble.org wrote:
Jacob Thomas Errington <jake@mail.jerrington.me> writes:
The way {ce'ai} works in general is that each sumti appearing in it is
understood as a binder. We concocted {ce'ai} back in ~2013 when
discussing how to reuse {ce'u} within a ka-abstraction. Here's a
contrived example:

   without ce'ai: {.i mi ckaji lo ka ce'u goi ko'a batci ko'a}
   with ce'ai: {.i mi ckaji lo ka ko'a ce'ai ko'a ko'a batci}
ki'a .i zo GOI xu selma'o zo ce'ai
.i zo ZOhU xu go'i .i mi stidi tu'a lu

  mi ckaji lo ka ce'u zo'u ce'u ce'u batci

li'u

.i zo ce'ai cmavo zo zo'u .e nai zo goi .i pilno zo goi lo ka ciksi lo po'o du'u makau smuni

.i la'e lu lo ka ce'u zo'u ce'u ce'u li'u mutce lo ka simlu lo ka selbri fi lo cimei .e nai lo pamei .i mukti lo nu mi stidi tu'a zo ce'ai

--
You received this message because you are subscribed to the Google Groups "lojban" group.
To unsubscribe from this group and stop receiving emails from it, send an email to lojban+unsubscribe@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/lojban/a25c1468-e5c9-5380-9f95-6e56eae8575d%40mail.jerrington.me.