Received: from mail-oi0-f63.google.com ([209.85.218.63]:36834) by stodi.digitalkingdom.org with esmtps (TLSv1:RC4-SHA:128) (Exim 4.80.1) (envelope-from ) id 1XZEu7-00035c-Mj for lojban-list-archive@lojban.org; Wed, 01 Oct 2014 01:05:02 -0700 Received: by mail-oi0-f63.google.com with SMTP id u20sf47886oif.8 for ; Wed, 01 Oct 2014 01:04:49 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=20120806; h=date:from:to:subject:message-id:mail-followup-to:references :mime-version:in-reply-to:user-agent:x-original-sender :x-original-authentication-results:reply-to:precedence:mailing-list :list-id:list-post:list-help:list-archive:sender:list-subscribe :list-unsubscribe:content-type:content-disposition; bh=l6jaM4JrNLzAx/pIq9BSAQ0V/r5ZpY+NHkjVMjEJInA=; b=rF6QegthoVOOLWZtAwpCsDBMn6gPX0P/uQkX0U/z/iUcEU6teVaqofX774V/m5EzTB pSFFLXMhvLxmTQZq41ryQmk6vHcsk7A7hnp+y9ZQ2DpWirWizadpYokrRWjA5WbpPIsP tQl0Rl7GNlom016i/i2lITu9oI1zKEcDcDdsoqdIkiXgNNFg+oe7/v6E26dczdWM1RLs KT2Iy89ZpoQ6EsF9NdqoBIaUXKdKhmadzRNj0DYFr6dUI5WV2Mx60nB15DaaxUX5A+cG eoyP4573KtJ7H0c95BQkkiEuzrjf0i3I4ePLMeY6dRJEUYqm2BQkEqzD6OtIIsfez5g/ isuQ== X-Received: by 10.50.49.78 with SMTP id s14mr202085ign.7.1412150689328; Wed, 01 Oct 2014 01:04:49 -0700 (PDT) X-BeenThere: lojban@googlegroups.com Received: by 10.50.61.36 with SMTP id m4ls854488igr.30.gmail; Wed, 01 Oct 2014 01:04:49 -0700 (PDT) X-Received: by 10.43.71.81 with SMTP id yj17mr45746973icb.26.1412150689050; Wed, 01 Oct 2014 01:04:49 -0700 (PDT) Received: from stodi.digitalkingdom.org (mail.digitalkingdom.org. [173.13.139.236]) by gmr-mx.google.com with ESMTPS id yk10si39318pac.0.2014.10.01.01.04.48 for (version=TLSv1.2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Wed, 01 Oct 2014 01:04:48 -0700 (PDT) Received-SPF: none (google.com: rlpowell@digitalkingdom.org does not designate permitted sender hosts) client-ip=173.13.139.236; Received: from rlpowell by stodi.digitalkingdom.org with local (Exim 4.80.1) (envelope-from ) id 1XZEtz-00035U-CK for lojban@googlegroups.com; Wed, 01 Oct 2014 01:04:47 -0700 Date: Wed, 1 Oct 2014 01:04:47 -0700 From: Robin Lee Powell To: lojban@googlegroups.com Subject: Re: [lojban] CLL: I'd like to drop the formal grammars. Message-ID: <20141001080447.GV14210@stodi.digitalkingdom.org> Mail-Followup-To: lojban@googlegroups.com References: <20141001075910.GU14210@stodi.digitalkingdom.org> MIME-Version: 1.0 In-Reply-To: <20141001075910.GU14210@stodi.digitalkingdom.org> User-Agent: Mutt/1.5.23 (2014-03-12) X-Original-Sender: rlpowell@digitalkingdom.org X-Original-Authentication-Results: gmr-mx.google.com; spf=neutral (google.com: rlpowell@digitalkingdom.org does not designate permitted sender hosts) smtp.mail=rlpowell@digitalkingdom.org Reply-To: lojban@googlegroups.com Precedence: list Mailing-list: list lojban@googlegroups.com; contact lojban+owners@googlegroups.com List-ID: X-Google-Group-Id: 1004133512417 List-Post: , List-Help: , List-Archive: , List-Unsubscribe: , Content-Type: text/plain; charset=ISO-8859-1 Content-Disposition: inline X-Spam-Score: -1.9 (-) X-Spam_score: -1.9 X-Spam_score_int: -18 X-Spam_bar: - On Wed, Oct 01, 2014 at 12:59:10AM -0700, Robin Lee Powell wrote: > > In the age of ubiquitous internet, I feel that the entire Formal > Grammars chapter simply doesn't belong in a printed book. > > Does anyone disagree? It's worth noting that doing so will require considerable re-wording of Chapter 1, I just discovered. -- 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.