Re: [lojban] Holiday Present from the BPFK: The gadri Proposal Has Been Completed

["And Rosta" <a.rosta@v21.me.uk>]

Well done, BPFK! 

Is there somewhere I can read more about outer quantifiers of
lo/le? (I'm curious about how the subtype/instance/member
distinction got handled.) 

> I've written a tutorial on the new gadri setup:
> 
> http://www.lojban.org/tiki/tiki-index.php?page=How+to+use+xorlo
> 
> Feel free to go to the main proposal page as well:
> 
> http://www.lojban.org/tiki/tiki-index.php?page=BPFK+Section%3A+gadri
> 
> But I warn you that it's a mite technical.
> 
> I hope you all enjoy/appreciate it.

Very much indeed.

--And.


To unsubscribe, send mail to lojban-unsubscribe@onelist.com 
Yahoo! Groups Links

<*> To visit your group on the web, go to:
    http://groups.yahoo.com/group/lojban/

<*> To unsubscribe from this group, send an email to:
    lojban-unsubscribe@yahoogroups.com

<*> Your use of Yahoo! Groups is subject to:
    http://docs.yahoo.com/info/terms/