From lojban+bncCML0xpmUARDXksHnBBoEvWSEXw@googlegroups.com Fri Nov 26 15:57:24 2010 Received: from mail-px0-f189.google.com ([209.85.212.189]) by chain.digitalkingdom.org with esmtp (Exim 4.72) (envelope-from ) id 1PM8AK-0003Hw-Qu; Fri, 26 Nov 2010 15:57:24 -0800 Received: by pxi19 with SMTP id 19sf864616pxi.16 for ; Fri, 26 Nov 2010 15:57:15 -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:mime-version:received:received :in-reply-to:references:date:message-id:subject:from: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; bh=I4CR8NgO8Yqm8gA9JuQRKlGacGIBFHDfpX/aJcqBKc8=; b=rjTZGt8e+TunjA7CU1gdcvVLZjFl1CxABvUIZ44voaWaOijtrMMpMZKWm1WkmrgcAC 8/WDLY+adbcdAlwL06q3fUfDx+urLWOLnHbP+jiQIPvTau4oxmRf7u1dMiOlh0ElZfhh PE+rLqlQWDGFU90gArAStYS6juzQnxJ3PDd3w= DomainKey-Signature: a=rsa-sha1; c=nofws; d=googlegroups.com; s=beta; h=x-beenthere:received-spf:mime-version:in-reply-to:references:date :message-id:subject:from: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; b=c7YLmOfwCzgnfvvbmV8M8ZXzy9S37CtXgXa63SI1CuxV8hTmE7GwXDflhKnD+O/IO3 FhPRvOph//QaDQ2CjCTT3Q1XWS6b2oaXTn6LIj6pD3gK8wFgCM4qGCtUq7oYOnNgIQwx q81wZLAeAMRuTazTwJmPMyNfZVy6auc61YmgY= Received: by 10.142.56.11 with SMTP id e11mr109649wfa.23.1290815831478; Fri, 26 Nov 2010 15:57:11 -0800 (PST) X-BeenThere: lojban@googlegroups.com Received: by 10.142.6.9 with SMTP id 9ls4974467wff.3.p; Fri, 26 Nov 2010 15:57:10 -0800 (PST) Received: by 10.142.215.11 with SMTP id n11mr1796959wfg.57.1290815829984; Fri, 26 Nov 2010 15:57:09 -0800 (PST) Received: by 10.142.215.11 with SMTP id n11mr1796958wfg.57.1290815829945; Fri, 26 Nov 2010 15:57:09 -0800 (PST) Received: from mail-pz0-f42.google.com (mail-pz0-f42.google.com [209.85.210.42]) by gmr-mx.google.com with ESMTP id f13si2751035wfo.0.2010.11.26.15.57.08; Fri, 26 Nov 2010 15:57:08 -0800 (PST) Received-SPF: pass (google.com: domain of blindbravado@gmail.com designates 209.85.210.42 as permitted sender) client-ip=209.85.210.42; Received: by pzk9 with SMTP id 9so524057pzk.29 for ; Fri, 26 Nov 2010 15:57:08 -0800 (PST) MIME-Version: 1.0 Received: by 10.143.30.15 with SMTP id h15mr2980170wfj.149.1290815827009; Fri, 26 Nov 2010 15:57:07 -0800 (PST) Received: by 10.142.86.1 with HTTP; Fri, 26 Nov 2010 15:57:06 -0800 (PST) In-Reply-To: <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> <20101126215925.GT9301@digitalkingdom.org> Date: Fri, 26 Nov 2010 18:57:06 -0500 Message-ID: Subject: Re: [lojban] rp-expression-tail ordered choice with empty grouping From: Ian Johnson To: lojban@googlegroups.com X-Original-Sender: blindbravado@gmail.com X-Original-Authentication-Results: gmr-mx.google.com; spf=pass (google.com: domain of blindbravado@gmail.com designates 209.85.210.42 as permitted sender) smtp.mail=blindbravado@gmail.com; dkim=pass (test mode) header.i=@gmail.com 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: multipart/alternative; boundary=001636e90fd1d6e0140495fd7ac3 --001636e90fd1d6e0140495fd7ac3 Content-Type: text/plain; charset=ISO-8859-1 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. --001636e90fd1d6e0140495fd7ac3 Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable lu mi jinvi do li'u ki'a

On Fri, = Nov 26, 2010 at 4:59 PM, Robin Lee Powell <rlpowell@digitalkingdom.org> wrote:
<= div class=3D"h5">On Thu, Nov 25, 2010 at 08:19:30AM -0700, .alyn.post. wrot= e:
> 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= :
> > > > =A0 =A0As promised [1]https://github.com/RossOgilvie/meksy= gerna I'm
> > > > =A0 =A0a git noob (only learnt it today), so let me kno= w if it's not
> > > > =A0 =A0public accessible or otherwise misconfigured. > > > >
> > > > =A0 =A0The main part of my version of mekso is in the t= xt file. A
> > > > =A0 =A0poorly written brain-dump is in the README file.= Questions,
> > > > =A0 =A0comments and criticisms welcome.
> > > >
> > > > =A0 =A0Addressing the question of backwards: I've r= emoved the
> > > > =A0 =A0restriction that RP expressions have exactly 2 a= rguments, so
> > > > =A0 =A0this creates a little problem fu'a 1 2 3 + x= =3D (1 ( 2 3 +) x)
> > > > =A0 =A0=3D 5 OFFICIAL LOJBAN 1 2 3 + x =3D ( (1 2 3 +) = x) =3D 7 MY MEKSO
> > > > =A0 =A0Given the little volume of RP though, I don'= t think it's a
> > > > =A0 =A0big deal. I haven't noticed any others, thou= gh they probably
> > > > =A0 =A0exist.
> > > >
> > > > =A0 =A0The rest of the folder is a simple parser I wrot= e for it. The
> > > > =A0 =A0code is all handwritten and pretty messy. I'= ve compiled a
> > > > =A0 =A0working version in bin/Release. It's .Net 3.= 5
> > > >
> > > > =A0 =A0mi'e ros
> > > >
> > >
> > > This is really interesting, though I don't feel qualifie= d to weigh
> > > in on the utility of it: I haven't studied this part of = the
> > > language yet. =A0I'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=3DLojban%2C+Math%2C+mekso%2C+and+bridi= +cmaci&no_bl=3Dy
> >
> > As far as I know, everyone who has written more than a few dozen<= br> > > 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 s= ruma 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&= #39;a le ni tu'a
la .ros. mekso daspo cu na banzu tu'a mi

-Robin

--
http://singinst.org/= : =A0Our last, best hope for a fantastic future.
Lojban (http://www.loj= ban.org/): The language in which "this parrot
is dead" is "ti poi spitaki cu morsi", but "this senten= ce is false"
is "na nei". =A0 My personal page: http://www.digitalkingdom.org/rlp/
--
You received this message because y= ou 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/lojba= n?hl=3Den.


--
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@googlegrou= ps.com.
For more options, visit this group at http://groups.google.com/group/lojban= ?hl=3Den.
--001636e90fd1d6e0140495fd7ac3--