From lojban+bncCK30vq5WEOWUwecEGgRYWCEk@googlegroups.com Fri Nov 26 16:01:58 2010 Received: from mail-px0-f189.google.com ([209.85.212.189]) by chain.digitalkingdom.org with esmtp (Exim 4.72) (envelope-from ) id 1PM8Eg-0003ZA-PI; Fri, 26 Nov 2010 16:01:58 -0800 Received: by pxi19 with SMTP id 19sf866079pxi.16 for ; Fri, 26 Nov 2010 16:01:45 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=beta; h=domainkey-signature:received:x-beenthere:received:received:received :received:received-spf:received:date:from:to:subject:message-id :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=fnhBqkjDZxJzEd/nIEtvUTXhyThgnv234FMK9URbEh8=; b=oqOBIbQLuM7wWqjJwSMenoMTG3pHwaU5ky1AnDJ/7P3L0sLzebwRyfEdo2amDfR2g1 22uTBdLAH8FSZvrAgK6oKTw1F7ASMtN8Tl27mXMIRjMCIo70+38M3dZvA4euVhvuMlyW R8WlB2ROs8+7d/uiFs/pOmVywoTsl0mRKPE6o= DomainKey-Signature: a=rsa-sha1; c=nofws; d=googlegroups.com; s=beta; h=x-beenthere:received-spf:date:from:to:subject:message-id: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; b=gk3hiSiO1yaFEgmx4uqhrrJoMQ9IVml+IcOWYb+KO7QTlT5cRjYbtOSZHYLyq5AQtQ LdEwoFteHvwG+5dYDwLveQrl5mOmYKpZIi37EoRHw3Rbpu0GyINUaYDR2fP6PlENaEc4 Lm6dR67PgTh3CwhxzXGZjr8+rZ684K3nENyRs= Received: by 10.143.26.28 with SMTP id d28mr107861wfj.0.1290816101270; Fri, 26 Nov 2010 16:01:41 -0800 (PST) X-BeenThere: lojban@googlegroups.com Received: by 10.142.249.41 with SMTP id w41ls4990031wfh.1.p; Fri, 26 Nov 2010 16:01:40 -0800 (PST) Received: by 10.142.156.17 with SMTP id d17mr1836916wfe.50.1290816100279; Fri, 26 Nov 2010 16:01:40 -0800 (PST) Received: by 10.142.156.17 with SMTP id d17mr1836915wfe.50.1290816100253; Fri, 26 Nov 2010 16:01:40 -0800 (PST) Received: from chain.digitalkingdom.org (digitalkingdom.org [173.13.139.234]) by gmr-mx.google.com with ESMTP id y8si2751937wfj.5.2010.11.26.16.01.39; Fri, 26 Nov 2010 16:01:40 -0800 (PST) Received-SPF: pass (google.com: best guess record for domain of rlpowell@digitalkingdom.org designates 173.13.139.234 as permitted sender) client-ip=173.13.139.234; Received: from rlpowell by chain.digitalkingdom.org with local (Exim 4.72) (envelope-from ) id 1PM8EV-0003Z4-HU for lojban@googlegroups.com; Fri, 26 Nov 2010 16:01:39 -0800 Date: Fri, 26 Nov 2010 16:01:39 -0800 From: Robin Lee Powell To: lojban@googlegroups.com Subject: Re: [lojban] rp-expression-tail ordered choice with empty grouping Message-ID: <20101127000139.GY9301@digitalkingdom.org> References: <20101123190157.GG10838@alice.local> <20101123232644.GJ10838@alice.local> <20101124160858.GE12462@alice.local> <20101125094134.GQ9301@digitalkingdom.org> <20101125151930.GC14852@alice.local> <20101126215925.GT9301@digitalkingdom.org> MIME-Version: 1.0 In-Reply-To: User-Agent: Mutt/1.5.20 (2009-06-14) X-Original-Sender: rlpowell@digitalkingdom.org X-Original-Authentication-Results: gmr-mx.google.com; spf=pass (google.com: best guess record for domain of rlpowell@digitalkingdom.org designates 173.13.139.234 as permitted sender) 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: List-Post: , List-Help: , List-Archive: Sender: lojban@googlegroups.com List-Subscribe: , List-Unsubscribe: , Content-Type: text/plain; charset=ISO-8859-1 Content-Disposition: inline .u'u mi djisku zo no On Fri, Nov 26, 2010 at 06:57:06PM -0500, Ian Johnson wrote: > lu mi jinvi do li'u ki'a > > On Fri, Nov 26, 2010 at 4:59 PM, Robin Lee Powell < > rlpowell@digitalkingdom.org> wrote: > > > On Thu, Nov 25, 2010 at 08:19:30AM -0700, .alyn.post. wrote: > > > On Thu, Nov 25, 2010 at 01:41:34AM -0800, Robin Lee Powell wrote: > > > > On Wed, Nov 24, 2010 at 09:08:58AM -0700, .alyn.post. wrote: > > > > > On Thu, Nov 25, 2010 at 12:46:54AM +1100, Ross Ogilvie wrote: > > > > > > As promised [1]https://github.com/RossOgilvie/meksygerna I'm > > > > > > a git noob (only learnt it today), so let me know if it's not > > > > > > public accessible or otherwise misconfigured. > > > > > > > > > > > > The main part of my version of mekso is in the txt file. A > > > > > > poorly written brain-dump is in the README file. Questions, > > > > > > comments and criticisms welcome. > > > > > > > > > > > > Addressing the question of backwards: I've removed the > > > > > > restriction that RP expressions have exactly 2 arguments, so > > > > > > this creates a little problem fu'a 1 2 3 + x = (1 ( 2 3 +) x) > > > > > > = 5 OFFICIAL LOJBAN 1 2 3 + x = ( (1 2 3 +) x) = 7 MY MEKSO > > > > > > Given the little volume of RP though, I don't think it's a > > > > > > big deal. I haven't noticed any others, though they probably > > > > > > exist. > > > > > > > > > > > > The rest of the folder is a simple parser I wrote for it. The > > > > > > code is all handwritten and pretty messy. I've compiled a > > > > > > working version in bin/Release. It's .Net 3.5 > > > > > > > > > > > > mi'e ros > > > > > > > > > > > > > > > > This is really interesting, though I don't feel qualified to weigh > > > > > in on the utility of it: I haven't studied this part of the > > > > > language yet. I'm left wanting to hear opinions from people more > > > > > familiar with mex. > > > > > > > > Here's one: mex is a crock and should die in the arse; see > > > > > > http://teddyb.org/robin/tiki-index.php?page=Lojban%2C+Math%2C+mekso%2C+and+bridi+cmaci&no_bl=y > > > > > > > > As far as I know, everyone who has written more than a few dozen > > > > words of non-trivial mex (i.e. tried to write a math proof in it) > > > > agrees with me, except maybe Nick. > > > > > > > > > > .i ki'e .camxes. .i mi pu na tcidu zo'e lo do vi judri .i mi sruma lo > > > du'u do na jinvi zo'e lo la .ros. vi se ciska > > > > mi jinvi do da tu'a la .ros. .i mi na tcidu .i ku'i la'a le ni tu'a > > la .ros. mekso daspo cu na banzu tu'a mi > > > > -Robin > > > > -- > > http://singinst.org/ : Our last, best hope for a fantastic future. > > Lojban (http://www.lojban.org/): The language in which "this parrot > > is dead" is "ti poi spitaki cu morsi", but "this sentence is false" > > is "na nei". My personal page: http://www.digitalkingdom.org/rlp/ > > > > -- > > You received this message because you are subscribed to the Google Groups > > "lojban" group. > > To post to this group, send email to lojban@googlegroups.com. > > To unsubscribe from this group, send email to > > lojban+unsubscribe@googlegroups.com > > . > > For more options, visit this group at > > http://groups.google.com/group/lojban?hl=en. > > > > > > -- > You received this message because you are subscribed to the Google Groups "lojban" group. > To post to this group, send email to lojban@googlegroups.com. > To unsubscribe from this group, send email to lojban+unsubscribe@googlegroups.com. > For more options, visit this group at http://groups.google.com/group/lojban?hl=en. > -- http://singinst.org/ : Our last, best hope for a fantastic future. Lojban (http://www.lojban.org/): The language in which "this parrot is dead" is "ti poi spitaki cu morsi", but "this sentence is false" is "na nei". My personal page: http://www.digitalkingdom.org/rlp/ -- You received this message because you are subscribed to the Google Groups "lojban" group. To post to this group, send email to lojban@googlegroups.com. To unsubscribe from this group, send email to lojban+unsubscribe@googlegroups.com. For more options, visit this group at http://groups.google.com/group/lojban?hl=en.