Re: [Spirit-devel] [Spirit2X] Karma post-delimiting, none & eps

[Hartmut K. <har...@gm...>]

> >> Aren't we removing 'none' as we did with Qi? Is there a real use for
> >> 'none'
> >> in Karma? We decided there is none in Qi.
> >
> > I'm sure there was a reason, but somehow I'm not able to remember.
> OTOH, as
> > this can be written as eps(false) we probably don't have a 'real'
> reason
> > anyways...
> 
> There's a lot of spellings. Also, my favorite:
> 
>    !eps
> 
> There's no real reason for 'none' now.

Somehow the not_predicate was completely missing in Karma. Added now.
Regards Hartmut