Received-SPF: none (google.com: rlpowell@digitalkingdom.org does not designate permitted sender hosts) client-ip=173.13.139.236;
Date: Sat, 4 Oct 2014 20:49:29 -0700
From: Robin Lee Powell <rlpowell@digitalkingdom.org>
To: lojban@googlegroups.com
Subject: Re: [lojban] Re: CLL: I'd like to drop the formal grammars.
Message-ID: <20141005034929.GN14210@stodi.digitalkingdom.org>
Mail-Followup-To: lojban@googlegroups.com
References: <20141001075910.GU14210@stodi.digitalkingdom.org>
 <c124f5f8-8cf5-45fd-8bae-bb430c645f2a@googlegroups.com>
 <3A4FF37D55E14477A597F95B03CB5846@gmail.com>
 <20141004023947.GD14210@stodi.digitalkingdom.org>
 <d3941bca-9d2d-4217-b6ac-70dd70be8224@googlegroups.com>
MIME-Version: 1.0
In-Reply-To: <d3941bca-9d2d-4217-b6ac-70dd70be8224@googlegroups.com>
User-Agent: Mutt/1.5.23 (2014-03-12)
Reply-To: lojban@googlegroups.com
Precedence: list
Mailing-list: list lojban@googlegroups.com; contact lojban+owners@googlegroups.com
Sender: lojban@googlegroups.com
Content-Type: text/plain; charset=ISO-8859-1
Content-Disposition: inline
X-Spam_score: -1.9
X-Spam_score_int: -18
X-Spam_bar: -

On Sat, Oct 04, 2014 at 04:35:35PM -0700, TR NS wrote:
> 
> 
> On Friday, October 3, 2014 10:39:49 PM UTC-4, Robin Powell wrote:
> >
> > Oh, I hadn't thought of dropping only the YACC; that's a very
> > interesting idea. 
> >
> >
> You don't have to (which will make lojbab happy) if you make two
> volumes. I especially like that idea because then I can be reading
> the first volume while referencing the second. 

Again: what I wanted to avoid was the work involved in making the
YACC actually look good on paper.

-- 
http://intelligence.org/ :  Our last, best hope for a fantastic future.
.i ko na cpedu lo nu stidi vau loi jbopre .i dafsku lu na go'i li'u .e
lu go'i li'u .i ji'a go'i lu na'e go'i li'u .e lu go'i na'i li'u .e
lu no'e go'i li'u .e lu to'e go'i li'u .e lu lo mamta be do cu sofybakni li'u

-- 
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 post to this group, send email to lojban@googlegroups.com.
Visit this group at http://groups.google.com/group/lojban.
For more options, visit https://groups.google.com/d/optout.