Re: The rewrite rules matter

On 21/08/2022 18:04, Norm Tovey-Walsh wrote:
> f* ⇒ f-star
> -f-star = f+ | ().

I /think /there's a cheaper possibility for rewriting f*, which is 
self-contained and avoids an f+ rewrite. I seem to have been using for 
some time, without perhaps realising it:

    f* ⇒ f-star
    -f-star= f, f-star|().

-- 
*John Lumley* MA PhD CEng FIEE
john@saxonica.com