[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [lojban] rp-expression-tail ordered choice with empty grouping
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.