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.