Added a basic-user-interaction example using `printf`, `atoi` and `get_user_string`.

[vvhitespace] / rationale.md

diff --git a/rationale.md b/rationale.md
index 2499caa..c847fab 100644 (file)
--- a/rationale.md
+++ b/rationale.md
@@ -17,7 +17,8 @@ which can be visually regrouped as
 
     SSSSNSN NSSSTSTTTSN
 
 
     SSSSNSN NSSSTSTTTSN
 

-and contains the `MARK label0` command used in the next set of examples.
+and contains the `MARK label0` command (i.e. `NSSSTSTTTSN`) used in the next
+set of examples.

 
 Additionally, since `PUSH 0; DROP` is effectively a `NOP`, 'hijacking' the code
 at this location allows one to insert their own integer on the stack in place
 
 Additionally, since `PUSH 0; DROP` is effectively a `NOP`, 'hijacking' the code
 at this location allows one to insert their own integer on the stack in place


@@ -30,45 +31,49 @@ discovering that they broke down into two methods for locating labels.
   * **Method 1** Scan from the start of the file for the first occurence of the
     mark-label bytestring and jump.
     
   * **Method 1** Scan from the start of the file for the first occurence of the
     mark-label bytestring and jump.
     

-    Example:  whitespacers/c: (c) meth0dz
+    Examples:
+    
+        whitespacers/c: (c) meth0dz

 
   * **Method 2** Scan from the start of the file, looking for a mark-label
     bytestring, but 'parsing' one bytestring at a time, and jumping to the
     first 'standalone' mark-label bytestring. Note that this is different than
     executing the program, particularly when user-input commands are present.
     
 
   * **Method 2** Scan from the start of the file, looking for a mark-label
     bytestring, but 'parsing' one bytestring at a time, and jumping to the
     first 'standalone' mark-label bytestring. Note that this is different than
     executing the program, particularly when user-input commands are present.
     

-    Example: whitespacers/haskell: (c) 2003 Edwin Brady
-             whitespacers/ruby: (c) 2003 by Wayne E. Conrad
-             whitespacers/perl: (c) 2003 Micheal Koelbl
-             threeifbywhiskey/satan
+    Examples:
+    
+        whitespacers/haskell: (c) 2003 Edwin Brady
+        whitespacers/ruby: (c) 2003 by Wayne E. Conrad
+        whitespacers/perl: (c) 2003 Micheal Koelbl
+        threeifbywhiskey/satan

 
 Both of these methods can be broken using valid Whitespace code:
 
 
 Both of these methods can be broken using valid Whitespace code:
 

-  * Type A: No 'standalone' label exists. This breaks Method 2.
+  * **Type A**: No 'standalone' label exists. This breaks Method 2.

 
 

-    By programmer's intent, this should print a '!' before infinite '.' lines.
+    By programmer's intent, this should print a `!` before infinite `.` lines.

 
 

-  * Type B: Hidden label before 'standalone' label. This breaks Method 1.
+  * **Type B**: Hidden label before 'standalone' label. This breaks Method 1.

 
 

-    By programmer's intent, this should print an infinite chain of '.' lines.
+    By programmer's intent, this should print an infinite chain of `.` lines.

 
 This is the Type A program:
 
 
 This is the Type A program:
 

-    SSSTSSSSTN  | Push +33 (ASCII !)
-    NSNSTSTTTSN | JMP>label0
-    NSSTTTTN    | MARK label2
-    SSSSN       | PUSH +0
+    SSSTSSSSTN  | Push +33 (ASCII '!')
+    NSNSTSTTTSN | JMP > 0101110 (label0)
+    NSSTTTTN    | MARK: 1111 (label2)
+    SSSSN       | PUSH 0

     SNN         | DROP
     SNN         | DROP

-    SSSTSTTTSN  | Push +46 (ASCII .)
+    SSSTSTTTSN  | Push +46 (ASCII '.')

     TNSS        | Output character
     TNSS        | Output character

-    SSSTSTSN    | Push +10 (ASCII newline)
+    SSSTSTSN    | Push +10 (ASCII '\n')

     TNSS        | Output character
     TNSS        | Output character

-    NSNTTTTN    | JMP>label2
+    NSNTTTTN    | JMP > 1111 (label2)

 
 Append this to turn it into the Type B program:
 
 
 Append this to turn it into the Type B program:
 

-    NSSSTSTTTSN | MARK label0 (2nd time)
-    NSNTTTTN    | JMP>label2
+    NSSSTSTTTSN | MARK: 0101110 (label0) (2nd time)
+    NSNTTTTN    | JMP > 1111 (label2)

 
 VVhitespace avoids this ambiguity by marking label definitions with a vertical
 tab `[VTab]` immediately before the label.
 
 VVhitespace avoids this ambiguity by marking label definitions with a vertical
 tab `[VTab]` immediately before the label.