From lojban+bncCLr6ktCfBBC5msHnBBoELzWEHw@googlegroups.com Fri Nov 26 16:14:00 2010 Received: from mail-gx0-f189.google.com ([209.85.161.189]) by chain.digitalkingdom.org with esmtp (Exim 4.72) (envelope-from ) id 1PM8QN-0002aF-2V; Fri, 26 Nov 2010 16:13:59 -0800 Received: by gxk19 with SMTP id 19sf1989427gxk.16 for ; Fri, 26 Nov 2010 16:13:49 -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:received:received:date:from:to :subject:message-id:mail-followup-to:references:mime-version :in-reply-to: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=Nw7Mm7R34EXTfoeEKghnTZtAQ6qcbTXOa0hy0QQLR0s=; b=YCiIaYx0TdtJMIpxCxNrldpKHRd75Ki7BJ7ugRN7GqLXjTcAzrg5Vu0uoOb9hCtgDw oz4i0WZ6GFJ3CIyPIReRlwUXIqKOXQxsRGgkueDGJMVwSPTDhqPqzPYnNppgkstEHAuQ gQ0HeozKPkNuundxsPzyqGFtgf6hV2vNoVxk0= DomainKey-Signature: a=rsa-sha1; c=nofws; d=googlegroups.com; s=beta; h=x-beenthere:received-spf:date:from:to:subject:message-id :mail-followup-to:references:mime-version:in-reply-to :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=pLFzfzkNmb20TO+vO7AWuU2lBYaUpWgaP08T8fJkVMBp3v1+kHymoTQemBNdIlwxNt 2928yFGetEw3I71zn+e7W92Ge2EFG0OadF/DGAsvR/9wFYW4tEjfOl3eZ/fWUlgPgWi2 QbcJa0NHl/JYtVbTzyhyNwYRneLz5gAisq3KQ= Received: by 10.151.18.3 with SMTP id v3mr392697ybi.73.1290816825895; Fri, 26 Nov 2010 16:13:45 -0800 (PST) X-BeenThere: lojban@googlegroups.com Received: by 10.150.102.24 with SMTP id z24ls2335290ybb.3.p; Fri, 26 Nov 2010 16:13:45 -0800 (PST) Received: by 10.150.52.6 with SMTP id z6mr91094ybz.26.1290816825032; Fri, 26 Nov 2010 16:13:45 -0800 (PST) Received: by 10.150.52.6 with SMTP id z6mr91091ybz.26.1290816824984; Fri, 26 Nov 2010 16:13:44 -0800 (PST) Received: from mail-yx0-f179.google.com (mail-yx0-f179.google.com [209.85.213.179]) by gmr-mx.google.com with ESMTP id t40si407903yhc.7.2010.11.26.16.13.44; Fri, 26 Nov 2010 16:13:44 -0800 (PST) Received-SPF: neutral (google.com: 209.85.213.179 is neither permitted nor denied by best guess record for domain of alanpost@sunflowerriver.org) client-ip=209.85.213.179; Received: by yxs7 with SMTP id 7so1389673yxs.24 for ; Fri, 26 Nov 2010 16:13:44 -0800 (PST) Received: by 10.100.44.5 with SMTP id r5mr2068951anr.40.1290816823639; Fri, 26 Nov 2010 16:13:43 -0800 (PST) Received: from sunflowerriver.org (c-68-35-167-179.hsd1.nm.comcast.net [68.35.167.179]) by mx.google.com with ESMTPS id x31sm2269730ana.9.2010.11.26.16.13.41 (version=TLSv1/SSLv3 cipher=RC4-MD5); Fri, 26 Nov 2010 16:13:42 -0800 (PST) Date: Fri, 26 Nov 2010 17:13:37 -0700 From: ".alyn.post." To: lojban@googlegroups.com Subject: Re: [lojban] rp-expression-tail ordered choice with empty grouping Message-ID: <20101127001337.GD17626@alice.local> Mail-Followup-To: lojban@googlegroups.com References: <20101123232644.GJ10838@alice.local> <20101124160858.GE12462@alice.local> <20101125094134.GQ9301@digitalkingdom.org> <20101125151930.GC14852@alice.local> <20101126215925.GT9301@digitalkingdom.org> <20101127000139.GY9301@digitalkingdom.org> Mime-Version: 1.0 In-Reply-To: <20101127000139.GY9301@digitalkingdom.org> X-Original-Sender: alyn.post@lodockikumazvati.org X-Original-Authentication-Results: gmr-mx.google.com; spf=neutral (google.com: 209.85.213.179 is neither permitted nor denied by best guess record for domain of alanpost@sunflowerriver.org) smtp.mail=alanpost@sunflowerriver.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 .i ki'e mu'o mi'e .alyn. On Fri, Nov 26, 2010 at 04:01:39PM -0800, Robin Lee Powell wrote: > .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. > -- .i ko djuno fi le do sevzi -- 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.