Update handtuning.md

enetsee · web-flow · commit 8ba72630cda9 · 2022-04-12T15:58:40.000+01:00
I think this should be `C(x,y) :- A(x), B(y).` for this optimization to make sense?
diff --git a/pages/docs/handtuning.md b/pages/docs/handtuning.md
@@ -66,7 +66,7 @@ A(x+1) :- A(x), x < N.
 B(x) :- A(x). 
 
 .decl C(x:number, y:number) 
-C(x) :- A(x), B(x). 
+C(x, y) :- A(x), B(y). 
 
 .decl D(x:number, y:number) 
 D(x,x) :- C(x,x).
