~plan/plunder

801e11311aef66c4bf7dc634529ec7e7e2d046a1 — Michael Hueschen 4 months ago 7c86da5
PLAN_SPEC: fix `L` & `B` rules

spec was mismatched w/ `PLAN.py`, which was correct. spec should now
be in agreement.
1 files changed, 7 insertions(+), 7 deletions(-)

M doc/plan/PLAN_SPEC.txt
M doc/plan/PLAN_SPEC.txt => doc/plan/PLAN_SPEC.txt +7 -7
@@ 32,10 32,10 @@ X[4, (_ p l a n x)] = P[p,l,a,n,E[x]]   | R[n,e,b:@] | b≤n = I[_,e,(n-b)]
X[{n a b}, e]       = B[a,a,e,b,b]      | R[n,e,(0 f x)]   = (R[n,e,f] R[n,e,x])
X[<p>, e]           = X[p,e]            | R[n,e,(2 x)]     = x
                                        | R[n,e,x]         = x
L[i,n,e,(1 v b)] = I[_,e,i] <- R[n,e,v] |
                   L[i+1,n,e,b]         | P[p,l,a,n,(f x)]   = (a f x)
L[_,n,e,x]       = R[n,e,x]             | P[p,l,a,n,<x>]     = (p x)
                                        | P[p,l,a,n,{n a b}] = (l n a b)
B[a,n,e,b,(1 _ k)] = B[a,n+1,(e <>),b,k]| P[p,l,a,n,x:@]     = (n x)
B[a,n,e,b,x]       = L[a,n,e,b]         |
                                        | W[n,a,b] | n>0 = {n,a,b}
L[i,n,e,(1 v b)] =                      |
    I[_,e,n-i] <- R[n,e,v]              | P[p,l,a,n,(f x)]   = (a f x)
    L[i+1,n,e,b]                        | P[p,l,a,n,<x>]     = (p x)
L[_,n,e,x]       = R[n,e,x]             | P[p,l,a,n,{n a b}] = (l n a b)
                                        | P[p,l,a,n,x:@]     = (n x)
B[a,n,e,b,(1 _ k)] = B[a,n+1,(e <>),b,k]|
B[a,n,e,b,x]       = L[a+1,n,e,b]       | W[n,a,b] | n>0 = {n,a,b}