~plan/plunder

177bb19a98bd123579b0dd58e27f722b17e61563 — Michael Hueschen 4 months ago 4e8879f
fix A rule PLAN_SPEC.txt
1 files changed, 1 insertions(+), 1 deletions(-)

M doc/plan/PLAN_SPEC.txt
M doc/plan/PLAN_SPEC.txt => doc/plan/PLAN_SPEC.txt +1 -1
@@ 23,7 23,7 @@ E[o] =                                  | S[o:(<f> x)]       = S[(f x)]
            E[o]                        | I[f, e,     n] = f
    o                                   |
                                        | A[(f x)]     = A[f]-1
X[(f x), e]         = X[f,e]            | A[<n:@>]     = I[1, (1 3 5 3), n]
X[(f x), e]         = X[f,e]            | A[<n:@>]     = I[1, (5 3 1 3 1), n]
X[0, (_ x)]         = <F[x]>            | A[<p>]       = A[p]
X[1, (_ n a b)]     = W[N[n],N[a],F[b]] | A[{n a b}]   = a
X[2, (_ x)]         = N[x]+1            | A[n:@]       = 0