From 42e5cd7e9339d6437989f19a0534fd315e007007 Mon Sep 17 00:00:00 2001 From: nratan Date: Sun, 3 Nov 2019 19:12:28 +0000 Subject: Use ⟦ and ⟧ symbols in comments MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- examples/continuations.f | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/examples/continuations.f b/examples/continuations.f index 1ea66bf..3a059c5 100644 --- a/examples/continuations.f +++ b/examples/continuations.f @@ -18,7 +18,7 @@ The following four lines all calculate the same thing: 1 2 3 4 ⊂ × + ⟦ - ⊃ ⟧ ⍎ / Do the × +, push an execution token for the -, execute it / / -The continuation works even if the [[ is further down +The continuation works even if the ⟦ is further down the return stack, e.g. / @@ -43,7 +43,7 @@ manipulated with combinators. For example to execute it twice we can use ↑ cat / Below are some examples illustrating how to execute Forth words by pushing their corresponding return addresses to the return stack. They're probably unnecessary -but they are the experiments I did before writing [[ and ]] so I have left them +but they are the experiments I did before writing ⟦ and ⟧ so I have left them in in case they help anyone else. / -- cgit 1.4.1-2-gfad0