From lojban+bncCK30vq5WEL_bwOcEGgSfCdQA@googlegroups.com Fri Nov 26 13:59:40 2010 Received: from mail-pw0-f61.google.com ([209.85.160.61]) by chain.digitalkingdom.org with esmtp (Exim 4.72) (envelope-from ) id 1PM6KO-0004gt-L7; Fri, 26 Nov 2010 13:59:40 -0800 Received: by pwi2 with SMTP id 2sf842787pwi.16 for ; Fri, 26 Nov 2010 13:59:30 -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=9dZdNgAmlG/uN/YBLNxiJ0romPORfEVhnSBUz9z13RM=; b=Xm0hC5DfyFezXZhdWbT52T6YoM1um9xKXtR29n137qiz8Xor0cJtnZJDgllHNM+arv m9BRP6Ir1+Mg7OXYPt9IlGLbQ3FIIrIlbzNXAbuNUFj8T9Iy7aTN8MzOX2LqAKStDlaj Z/4yGN8wXSzC+PdB62Atu6cu2tQkCbkk5X0n4= 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=i7ZQD7GS9PZU5+6OGLEI+WUCUd906DiqgQm2j+sOQrut2YpVFOTcvMM1CaUM/fz69z kFC7KxHGbVzx3xXoK8qwqzuemiVqWhPjBELpqa3lUK3TEVqNw9hvvbzsgCRRVbXp2tT0 9ADpjHaKV0LVR8EigQR1m5jkvWwncjTk2XEE8= Received: by 10.142.150.5 with SMTP id x5mr102558wfd.27.1290808767620; Fri, 26 Nov 2010 13:59:27 -0800 (PST) X-BeenThere: lojban@googlegroups.com Received: by 10.142.78.15 with SMTP id a15ls4843803wfb.2.p; Fri, 26 Nov 2010 13:59:26 -0800 (PST) Received: by 10.142.81.21 with SMTP id e21mr1745214wfb.28.1290808766632; Fri, 26 Nov 2010 13:59:26 -0800 (PST) Received: by 10.142.81.21 with SMTP id e21mr1745213wfb.28.1290808766610; Fri, 26 Nov 2010 13:59:26 -0800 (PST) Received: from chain.digitalkingdom.org (digitalkingdom.org [173.13.139.234]) by gmr-mx.google.com with ESMTP id n6si2631148wfl.7.2010.11.26.13.59.26; Fri, 26 Nov 2010 13:59:26 -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 1PM6KD-0004gc-LR for lojban@googlegroups.com; Fri, 26 Nov 2010 13:59:25 -0800 Date: Fri, 26 Nov 2010 13:59:25 -0800 From: Robin Lee Powell To: lojban@googlegroups.com Subject: Re: [lojban] rp-expression-tail ordered choice with empty grouping Message-ID: <20101126215925.GT9301@digitalkingdom.org> References: <20101123184352.GE10838@alice.local> <20101123185211.GU9301@digitalkingdom.org> <20101123190157.GG10838@alice.local> <20101123232644.GJ10838@alice.local> <20101124160858.GE12462@alice.local> <20101125094134.GQ9301@digitalkingdom.org> <20101125151930.GC14852@alice.local> MIME-Version: 1.0 In-Reply-To: <20101125151930.GC14852@alice.local> 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 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.