From lojban+bncCK30vq5WENHeuOcEGgTvAofL@googlegroups.com Thu Nov 25 01:49:01 2010 Received: from mail-pz0-f61.google.com ([209.85.210.61]) by chain.digitalkingdom.org with esmtp (Exim 4.72) (envelope-from ) id 1PLYRl-0006x2-JO; Thu, 25 Nov 2010 01:49:00 -0800 Received: by pzk7 with SMTP id 7sf291587pzk.16 for ; Thu, 25 Nov 2010 01:48:52 -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=wqTzqLpNsvGDaFAvz3GLCUyeVIR34+uh+kjIQvC7xqM=; b=VW/XtFueZ1Y0y9udBQWmIiaMfifnjdy9f1j+mRJnnIRWFHxf89twyw7e1wjN66ds7j RwVlaU3ZamWfjerNscodKpwkw9lqTMst/Yklm8C5Vb7fIdswcCJvojeyH2TKlL3rZiIy BVRcTeRqnUSd0nf5HHCE4/NpOdMjCzc/LGYSQ= 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=akDDuA2TkMMBCQmy/we97P7EhiDsUU/aqZPlwPZh0+ewZR66uxSU369vNE2up5rV68 6RjiumXi4D/ZSNnaz69+8Hg8PFlijmpNqtou0q7D4delSTf9fa10kc3EqRrojzIeYxTz /s80z3qwGm0tEDI00s4ld/QKjZTEAWv6Cpbj8= Received: by 10.142.196.9 with SMTP id t9mr20358wff.67.1290678097738; Thu, 25 Nov 2010 01:41:37 -0800 (PST) X-BeenThere: lojban@googlegroups.com Received: by 10.142.78.15 with SMTP id a15ls2497594wfb.2.p; Thu, 25 Nov 2010 01:41:36 -0800 (PST) Received: by 10.142.71.21 with SMTP id t21mr364250wfa.73.1290678095745; Thu, 25 Nov 2010 01:41:35 -0800 (PST) Received: by 10.142.71.21 with SMTP id t21mr364249wfa.73.1290678095708; Thu, 25 Nov 2010 01:41:35 -0800 (PST) Received: from chain.digitalkingdom.org (digitalkingdom.org [173.13.139.234]) by gmr-mx.google.com with ESMTP id y8si665188wfj.5.2010.11.25.01.41.35; Thu, 25 Nov 2010 01:41:35 -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 1PLYKc-0003kQ-Ad for lojban@googlegroups.com; Thu, 25 Nov 2010 01:41:34 -0800 Date: Thu, 25 Nov 2010 01:41:34 -0800 From: Robin Lee Powell To: lojban@googlegroups.com Subject: Re: [lojban] rp-expression-tail ordered choice with empty grouping Message-ID: <20101125094134.GQ9301@digitalkingdom.org> References: <20101123184352.GE10838@alice.local> <20101123185211.GU9301@digitalkingdom.org> <20101123190157.GG10838@alice.local> <20101123232644.GJ10838@alice.local> <20101124160858.GE12462@alice.local> MIME-Version: 1.0 In-Reply-To: <20101124160858.GE12462@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 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. -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.