From 47333af488cc2d5a718ca2406baa44c74fc0fc76 Mon Sep 17 00:00:00 2001 From: Douglas Mennella Date: Thu, 6 Jun 2024 14:20:17 +0900 Subject: typo --- k.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/k.c b/k.c index a0064a59..ea8f9e58 100644 --- a/k.c +++ b/k.c @@ -9,7 +9,7 @@ Z V VK(C t,V*a,K x){I(xtZ,x=ct(t,x))MC(a,xV,(W)xn<>3);I(xtR,I(MINE(x),AZ( // atom list atom list K Kc(C v)_(ac(v)) K KC(C*a ,N n)_(a?aV(tC,n,a):an(n,tC)) C cK(K x)_(xv) V CK(C*a,K x){VK(tC,a,x);} K Ks(C*s)_(sym(s)) K KS(C**a,N n)_(A x=aS(n);F(n,xi=sym(a[i]))x) -K Ki(I v)_(az(v)) K KI(I*a ,N n)_(a?aV(tI,n,a):an(tI,n)) I iK(K x)_(xv) V IK(I*a,K x){VK(tI,a,x);} +K Ki(I v)_(az(v)) K KI(I*a ,N n)_(a?aV(tI,n,a):an(n,tI)) I iK(K x)_(xv) V IK(I*a,K x){VK(tI,a,x);} K Kf(F v)_(af(v)) K KF(F*a ,N n)_(a?aV(tF,n,a):an(n,tF)) F fK(K x)_(*xF) V FK(F*a,K x){VK(tF,a,x);} K KL(K*a ,N n)_(a?aV(tA,n,a):aA(n)) V LK(K*a,K x){VK(tA,a,x);} K Kp(V*p)_(al((L)p)) -- cgit v1.2.3-70-g09d2