From 2d5bb0d9cc33ae6c115444d06ec01d33a6dc4fdc Mon Sep 17 00:00:00 2001 From: Marshall Lochbaum Date: Thu, 30 Dec 2021 14:50:00 -0500 Subject: =?UTF-8?q?Missing=20=E2=86=95=20in=20translation=20of=20reverse?= =?UTF-8?q?=20for=20loop?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- docs/doc/control.html | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'docs/doc') diff --git a/docs/doc/control.html b/docs/doc/control.html index 8ffdc5bc..5abfa166 100644 --- a/docs/doc/control.html +++ b/docs/doc/control.html @@ -181,7 +181,7 @@ Fnยจ โ†•n # for (๐•ฉ=0; ๐•ฉ<n; ๐•ฉ++) Fnยจ kโ†“โ†•n # for (๐•ฉ=k; ๐•ฉ<n; ๐•ฉ++) with 0โ‰คk Fnยจ k+โ†•n-k # for (๐•ฉ=k; ๐•ฉ<n; ๐•ฉ++) with kโ‰คn -Fnยจ โŒฝn # for (๐•ฉ=n; --๐•ฉ; ) +Fnยจ โŒฝโ†•n # for (๐•ฉ=n; --๐•ฉ; )

Very wellโ€ฆ a for loop is just a while loop with some extra pre- and post-actions.

For โ† {Preโ€ฟCondโ€ฟPostโ€ฟAct: Pre@ โ‹„ {๐•Šโˆ˜Postโˆ˜ActโŸCond ๐•ฉ}@}
-- 
cgit v1.2.3