Received: from mail-qc0-f183.google.com ([209.85.216.183]:48390) by stodi.digitalkingdom.org with esmtps (TLSv1:RC4-SHA:128) (Exim 4.80.1) (envelope-from ) id 1XaFFw-0000RF-C4 for lojban-list-archive@lojban.org; Fri, 03 Oct 2014 19:39:41 -0700 Received: by mail-qc0-f183.google.com with SMTP id r5sf344628qcx.0 for ; Fri, 03 Oct 2014 19:39:29 -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=Wld2tvYEMdVIdDVdRTCTneW0b2g/r+QFGugmHuK6U6I=; b=B/DG+a9t1O5irXO2j+6D+KIk5p7IxSZMASUprG49MPcpd1oLxPM1RD0tvkFYeo1GeE 7rWQXxJ3tSGinrAP1cVFoEYoN6agLrpjOhKyBMuifa7GDkGfu8fxGoyNFsUTP17vleRu NuB1+ByRxljovlLbzvUpsp1V9f04qPhYLIcqklKOAmsz8rsdhXRlLGHacI89TYhnUChB FlFnf9KY4hgUdhsVsntNNtiThvUb3iAbGnBD7JOYUGLwZWd5718LTjLAQiQwZs/rvSty R8DPmWauqaYjnpSlIUyQqmiTowTnUhGLEA15ccWmdYzIs0LQB2lS8TfrNYz+WVeN0LMK 6U4A== X-Received: by 10.182.4.1 with SMTP id g1mr97927obg.3.1412390369650; Fri, 03 Oct 2014 19:39:29 -0700 (PDT) X-BeenThere: lojban@googlegroups.com Received: by 10.182.24.100 with SMTP id t4ls654580obf.33.gmail; Fri, 03 Oct 2014 19:39:29 -0700 (PDT) X-Received: by 10.182.166.73 with SMTP id ze9mr7918622obb.4.1412390369210; Fri, 03 Oct 2014 19:39:29 -0700 (PDT) Received: from stodi.digitalkingdom.org (mail.digitalkingdom.org. [173.13.139.236]) by gmr-mx.google.com with ESMTPS id wa5si1186198pab.2.2014.10.03.19.39.28 for (version=TLSv1.2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Fri, 03 Oct 2014 19:39:28 -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 1XaFFn-0000R8-Jb for lojban@googlegroups.com; Fri, 03 Oct 2014 19:39:27 -0700 Date: Fri, 3 Oct 2014 19:39:27 -0700 From: Robin Lee Powell To: lojban@googlegroups.com Subject: Re: [lojban] Re: CLL: I'd like to drop the formal grammars. Message-ID: <20141004023927.GC14210@stodi.digitalkingdom.org> Mail-Followup-To: lojban@googlegroups.com References: <20141001075910.GU14210@stodi.digitalkingdom.org> <3A4FF37D55E14477A597F95B03CB5846@gmail.com> MIME-Version: 1.0 In-Reply-To: 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: - Including it means I have to do the work to maake it look decent on the page, which is the work I don't want to do. On Wed, Oct 01, 2014 at 10:00:11PM -0600, Jonathan Jones wrote: > I'm sure there's a reason why we can't just release both a with and without > version, see which one gets purchased more, and use that info. to determine > future version content? > > On Wed, Oct 1, 2014 at 9:38 PM, Alex Burka wrote: > > > I don't have much of an opinion since I prefer the PEG and obviously > > that's not going in this edition, but surely Lojban is still confirmed as > > machine-parseable by the inclusion of one and not both grammars. And I > > don't mean to deny the usefulness of the YACC grammar to Bob, but I'll > > point out that the fact that it was pedagogically useful to _write_ doesn't > > necessarily imply that it's pedagogically useful for others to _read_ %^) > > > > mu'o mi'e la durka > > > > On Wednesday, October 1, 2014 at 11:24 PM, Spacenut wrote: > > > > As a layperson, not knowing anything about the formal grammar, I say we > > absolutely should keep it in there. Though it may be of no use to me, The > > Complete Lojban Language is not complete without the full grammar. Also, as > > a less technical and more psychological argument, it reinforces the idea > > that Lojban is 100% syntactically unambiguous to people who don't know > > anything about the parser. The fact that it can be interpreted (don't know > > if that's the right word there) by a computer is one of the reasons why I'm > > learning Lojban, and having tangible evidence of that is pretty powerful. > > > > On Wednesday, October 1, 2014 3:59:12 AM UTC-4, Robin 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? > > > > -- > > 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 a topic in the > > Google Groups "lojban" group. > > To unsubscribe from this topic, visit > > https://groups.google.com/d/topic/lojban/KpcylrlDNX0/unsubscribe. > > To unsubscribe from this group and all its topics, 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. > > > > > > -- > > 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. > > > > > > -- > mu'o mi'e .aionys. > > .i.e'ucai ko cmima lo pilno be denpa bu .i doi.luk. mi patfu do zo'o > (Come to the Dot Side! Luke, I am your father. :D ) > > -- > 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. -- 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.