From lojban+bncCLr6ktCfBBCH_bnnBBoE9ZoylA@googlegroups.com Thu Nov 25 07:19:49 2010 Received: from mail-px0-f189.google.com ([209.85.212.189]) by chain.digitalkingdom.org with esmtp (Exim 4.72) (envelope-from ) id 1PLdbs-0008AV-KT; Thu, 25 Nov 2010 07:19:48 -0800 Received: by pxi19 with SMTP id 19sf332617pxi.16 for ; Thu, 25 Nov 2010 07:19:39 -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=WkOvbtSHNU/TN1Uw8SNj2tFBTOj0w54yDgGnbXqvmDM=; b=BnKgAe9ZBvCkxj1XjTzln2uBYhYOa8mtWNfFOpUy8KZ/6icGUZzEQsWJ/wacTgDe9L GzTJBkVsfv1NLZMhY9ajk4yIxSodNkDuIFpvj0IunSnilMf+ojkd+insOdeBg8/c/Jno azsRjaBFky38rgeY9VqYAt9TyrguR1LK8tTdk= 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=5K7mVbfJmRAGyySuQNZ+V95g7dpZEOY+ZvRfMKg/9OQIOaavbHP8s9iEV4DQih5N9p 6rA0+FlxMZMcbRYW9/O8SosegnwqB0fRwR7o/DZFasfe2d+1B+3W1trpogJOk/Kvrhan z1a+OxQZ7aSHRR1hjhXaKNTZ4vWFFcnWS3hEk= Received: by 10.142.65.4 with SMTP id n4mr44530wfa.19.1290698375850; Thu, 25 Nov 2010 07:19:35 -0800 (PST) X-BeenThere: lojban@googlegroups.com Received: by 10.142.2.41 with SMTP id 41ls2898138wfb.0.p; Thu, 25 Nov 2010 07:19:35 -0800 (PST) Received: by 10.142.169.14 with SMTP id r14mr608596wfe.51.1290698375090; Thu, 25 Nov 2010 07:19:35 -0800 (PST) Received: by 10.142.169.14 with SMTP id r14mr608595wfe.51.1290698375058; Thu, 25 Nov 2010 07:19:35 -0800 (PST) Received: from mail-px0-f176.google.com (mail-px0-f176.google.com [209.85.212.176]) by gmr-mx.google.com with ESMTP id y8si960802wfj.5.2010.11.25.07.19.35; Thu, 25 Nov 2010 07:19:35 -0800 (PST) Received-SPF: neutral (google.com: 209.85.212.176 is neither permitted nor denied by best guess record for domain of alanpost@sunflowerriver.org) client-ip=209.85.212.176; Received: by pxi11 with SMTP id 11so254376pxi.35 for ; Thu, 25 Nov 2010 07:19:35 -0800 (PST) Received: by 10.142.166.13 with SMTP id o13mr974752wfe.253.1290698374794; Thu, 25 Nov 2010 07:19:34 -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 w42sm1078880wfh.3.2010.11.25.07.19.32 (version=TLSv1/SSLv3 cipher=RC4-MD5); Thu, 25 Nov 2010 07:19:33 -0800 (PST) Date: Thu, 25 Nov 2010 08:19:30 -0700 From: ".alyn.post." To: lojban@googlegroups.com Subject: Re: [lojban] rp-expression-tail ordered choice with empty grouping Message-ID: <20101125151930.GC14852@alice.local> Mail-Followup-To: lojban@googlegroups.com 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> Mime-Version: 1.0 In-Reply-To: <20101125094134.GQ9301@digitalkingdom.org> X-Original-Sender: alyn.post@lodockikumazvati.org X-Original-Authentication-Results: gmr-mx.google.com; spf=neutral (google.com: 209.85.212.176 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 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 .i mu'o mi'e .alyn. -- .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.