[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.