Created
August 18, 2021 21:37
-
-
Save prednaz/bb3c5a048d7697bccccdfe9d16d020de to your computer and use it in GitHub Desktop.
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| I: Reset h0: DEF "<" 2 120 | |
| P: 1 h1: DEF "|" 2 50 | |
| h2: DEF "if" 3 130 | |
| h3: DEF "*" 2 90 | |
| h4: DEF "not" 1 36 | |
| h5: DEF "false" 0 24 | |
| h6: DEF "-" 2 80 | |
| h7: DEF "+" 2 70 | |
| h8: DEF "main" 0 4 | |
| h9: DEF "true" 0 30 | |
| h10: DEF "negate" 1 43 | |
| h11: DEF "/" 2 100 | |
| h12: DEF "k1" 2 18 | |
| h13: DEF "==" 2 110 | |
| h14: DEF "&" 2 60 | |
| I: Pushfun "main" s0: h8 h0: DEF "<" 2 120 | |
| P: 2 h1: DEF "|" 2 50 | |
| h2: DEF "if" 3 130 | |
| h3: DEF "*" 2 90 | |
| h4: DEF "not" 1 36 | |
| h5: DEF "false" 0 24 | |
| h6: DEF "-" 2 80 | |
| h7: DEF "+" 2 70 | |
| h8: DEF "main" 0 4 | |
| h9: DEF "true" 0 30 | |
| h10: DEF "negate" 1 43 | |
| h11: DEF "/" 2 100 | |
| h12: DEF "k1" 2 18 | |
| h13: DEF "==" 2 110 | |
| h14: DEF "&" 2 60 | |
| I: Call s0: c3 h0: DEF "<" 2 120 | |
| P: 4 s1: h8 h1: DEF "|" 2 50 | |
| h2: DEF "if" 3 130 | |
| h3: DEF "*" 2 90 | |
| h4: DEF "not" 1 36 | |
| h5: DEF "false" 0 24 | |
| h6: DEF "-" 2 80 | |
| h7: DEF "+" 2 70 | |
| h8: DEF "main" 0 4 | |
| h9: DEF "true" 0 30 | |
| h10: DEF "negate" 1 43 | |
| h11: DEF "/" 2 100 | |
| h12: DEF "k1" 2 18 | |
| h13: DEF "==" 2 110 | |
| h14: DEF "&" 2 60 | |
| I: Pushval (Integer 2) s0: h15 h0: DEF "<" 2 120 | |
| P: 5 s1: c3 h1: DEF "|" 2 50 | |
| s2: h8 h2: DEF "if" 3 130 | |
| h3: DEF "*" 2 90 | |
| h4: DEF "not" 1 36 | |
| h5: DEF "false" 0 24 | |
| h6: DEF "-" 2 80 | |
| h7: DEF "+" 2 70 | |
| h8: DEF "main" 0 4 | |
| h9: DEF "true" 0 30 | |
| h10: DEF "negate" 1 43 | |
| h11: DEF "/" 2 100 | |
| h12: DEF "k1" 2 18 | |
| h13: DEF "==" 2 110 | |
| h14: DEF "&" 2 60 | |
| h15: VAL (Integer 2) | |
| I: Pushval (Integer 1) s0: h16 h0: DEF "<" 2 120 | |
| P: 6 s1: h15 h1: DEF "|" 2 50 | |
| s2: c3 h2: DEF "if" 3 130 | |
| s3: h8 h3: DEF "*" 2 90 | |
| h4: DEF "not" 1 36 | |
| h5: DEF "false" 0 24 | |
| h6: DEF "-" 2 80 | |
| h7: DEF "+" 2 70 | |
| h8: DEF "main" 0 4 | |
| h9: DEF "true" 0 30 | |
| h10: DEF "negate" 1 43 | |
| h11: DEF "/" 2 100 | |
| h12: DEF "k1" 2 18 | |
| h13: DEF "==" 2 110 | |
| h14: DEF "&" 2 60 | |
| h15: VAL (Integer 2) | |
| h16: VAL (Integer 1) | |
| I: Pushfun "k1" s0: h12 h0: DEF "<" 2 120 | |
| P: 7 s1: h16 h1: DEF "|" 2 50 | |
| s2: h15 h2: DEF "if" 3 130 | |
| s3: c3 h3: DEF "*" 2 90 | |
| s4: h8 h4: DEF "not" 1 36 | |
| h5: DEF "false" 0 24 | |
| h6: DEF "-" 2 80 | |
| h7: DEF "+" 2 70 | |
| h8: DEF "main" 0 4 | |
| h9: DEF "true" 0 30 | |
| h10: DEF "negate" 1 43 | |
| h11: DEF "/" 2 100 | |
| h12: DEF "k1" 2 18 | |
| h13: DEF "==" 2 110 | |
| h14: DEF "&" 2 60 | |
| h15: VAL (Integer 2) | |
| h16: VAL (Integer 1) | |
| I: Makeapp s0: h17 h0: DEF "<" 2 120 | |
| P: 8 s1: h15 h1: DEF "|" 2 50 | |
| s2: c3 h2: DEF "if" 3 130 | |
| s3: h8 h3: DEF "*" 2 90 | |
| h4: DEF "not" 1 36 | |
| h5: DEF "false" 0 24 | |
| h6: DEF "-" 2 80 | |
| h7: DEF "+" 2 70 | |
| h8: DEF "main" 0 4 | |
| h9: DEF "true" 0 30 | |
| h10: DEF "negate" 1 43 | |
| h11: DEF "/" 2 100 | |
| h12: DEF "k1" 2 18 | |
| h13: DEF "==" 2 110 | |
| h14: DEF "&" 2 60 | |
| h15: VAL (Integer 2) | |
| h16: VAL (Integer 1) | |
| h17: APP 12 16 | |
| I: Makeapp s0: h18 h0: DEF "<" 2 120 | |
| P: 9 s1: c3 h1: DEF "|" 2 50 | |
| s2: h8 h2: DEF "if" 3 130 | |
| h3: DEF "*" 2 90 | |
| h4: DEF "not" 1 36 | |
| h5: DEF "false" 0 24 | |
| h6: DEF "-" 2 80 | |
| h7: DEF "+" 2 70 | |
| h8: DEF "main" 0 4 | |
| h9: DEF "true" 0 30 | |
| h10: DEF "negate" 1 43 | |
| h11: DEF "/" 2 100 | |
| h12: DEF "k1" 2 18 | |
| h13: DEF "==" 2 110 | |
| h14: DEF "&" 2 60 | |
| h15: VAL (Integer 2) | |
| h16: VAL (Integer 1) | |
| h17: APP 12 16 | |
| h18: APP 17 15 | |
| I: Pushval (Integer 0) s0: h19 h0: DEF "<" 2 120 | |
| P: 10 s1: h18 h1: DEF "|" 2 50 | |
| s2: c3 h2: DEF "if" 3 130 | |
| s3: h8 h3: DEF "*" 2 90 | |
| h4: DEF "not" 1 36 | |
| h5: DEF "false" 0 24 | |
| h6: DEF "-" 2 80 | |
| h7: DEF "+" 2 70 | |
| h8: DEF "main" 0 4 | |
| h9: DEF "true" 0 30 | |
| h10: DEF "negate" 1 43 | |
| h11: DEF "/" 2 100 | |
| h12: DEF "k1" 2 18 | |
| h13: DEF "==" 2 110 | |
| h14: DEF "&" 2 60 | |
| h15: VAL (Integer 2) | |
| h16: VAL (Integer 1) | |
| h17: APP 12 16 | |
| h18: APP 17 15 | |
| h19: VAL (Integer 0) | |
| I: Pushfun "k1" s0: h12 h0: DEF "<" 2 120 | |
| P: 11 s1: h19 h1: DEF "|" 2 50 | |
| s2: h18 h2: DEF "if" 3 130 | |
| s3: c3 h3: DEF "*" 2 90 | |
| s4: h8 h4: DEF "not" 1 36 | |
| h5: DEF "false" 0 24 | |
| h6: DEF "-" 2 80 | |
| h7: DEF "+" 2 70 | |
| h8: DEF "main" 0 4 | |
| h9: DEF "true" 0 30 | |
| h10: DEF "negate" 1 43 | |
| h11: DEF "/" 2 100 | |
| h12: DEF "k1" 2 18 | |
| h13: DEF "==" 2 110 | |
| h14: DEF "&" 2 60 | |
| h15: VAL (Integer 2) | |
| h16: VAL (Integer 1) | |
| h17: APP 12 16 | |
| h18: APP 17 15 | |
| h19: VAL (Integer 0) | |
| I: Makeapp s0: h20 h0: DEF "<" 2 120 | |
| P: 12 s1: h18 h1: DEF "|" 2 50 | |
| s2: c3 h2: DEF "if" 3 130 | |
| s3: h8 h3: DEF "*" 2 90 | |
| h4: DEF "not" 1 36 | |
| h5: DEF "false" 0 24 | |
| h6: DEF "-" 2 80 | |
| h7: DEF "+" 2 70 | |
| h8: DEF "main" 0 4 | |
| h9: DEF "true" 0 30 | |
| h10: DEF "negate" 1 43 | |
| h11: DEF "/" 2 100 | |
| h12: DEF "k1" 2 18 | |
| h13: DEF "==" 2 110 | |
| h14: DEF "&" 2 60 | |
| h15: VAL (Integer 2) | |
| h16: VAL (Integer 1) | |
| h17: APP 12 16 | |
| h18: APP 17 15 | |
| h19: VAL (Integer 0) | |
| h20: APP 12 19 | |
| I: Makeapp s0: h21 h0: DEF "<" 2 120 | |
| P: 13 s1: c3 h1: DEF "|" 2 50 | |
| s2: h8 h2: DEF "if" 3 130 | |
| h3: DEF "*" 2 90 | |
| h4: DEF "not" 1 36 | |
| h5: DEF "false" 0 24 | |
| h6: DEF "-" 2 80 | |
| h7: DEF "+" 2 70 | |
| h8: DEF "main" 0 4 | |
| h9: DEF "true" 0 30 | |
| h10: DEF "negate" 1 43 | |
| h11: DEF "/" 2 100 | |
| h12: DEF "k1" 2 18 | |
| h13: DEF "==" 2 110 | |
| h14: DEF "&" 2 60 | |
| h15: VAL (Integer 2) | |
| h16: VAL (Integer 1) | |
| h17: APP 12 16 | |
| h18: APP 17 15 | |
| h19: VAL (Integer 0) | |
| h20: APP 12 19 | |
| h21: APP 20 18 | |
| I: Update 0 s0: h21 h0: DEF "<" 2 120 | |
| P: 14 s1: c3 h1: DEF "|" 2 50 | |
| s2: h8 h2: DEF "if" 3 130 | |
| h3: DEF "*" 2 90 | |
| h4: DEF "not" 1 36 | |
| h5: DEF "false" 0 24 | |
| h6: DEF "-" 2 80 | |
| h7: DEF "+" 2 70 | |
| h8: IND 21 | |
| h9: DEF "true" 0 30 | |
| h10: DEF "negate" 1 43 | |
| h11: DEF "/" 2 100 | |
| h12: DEF "k1" 2 18 | |
| h13: DEF "==" 2 110 | |
| h14: DEF "&" 2 60 | |
| h15: VAL (Integer 2) | |
| h16: VAL (Integer 1) | |
| h17: APP 12 16 | |
| h18: APP 17 15 | |
| h19: VAL (Integer 0) | |
| h20: APP 12 19 | |
| h21: APP 20 18 | |
| I: Slide 1 s0: h21 h0: DEF "<" 2 120 | |
| P: 15 s1: c3 h1: DEF "|" 2 50 | |
| h2: DEF "if" 3 130 | |
| h3: DEF "*" 2 90 | |
| h4: DEF "not" 1 36 | |
| h5: DEF "false" 0 24 | |
| h6: DEF "-" 2 80 | |
| h7: DEF "+" 2 70 | |
| h8: IND 21 | |
| h9: DEF "true" 0 30 | |
| h10: DEF "negate" 1 43 | |
| h11: DEF "/" 2 100 | |
| h12: DEF "k1" 2 18 | |
| h13: DEF "==" 2 110 | |
| h14: DEF "&" 2 60 | |
| h15: VAL (Integer 2) | |
| h16: VAL (Integer 1) | |
| h17: APP 12 16 | |
| h18: APP 17 15 | |
| h19: VAL (Integer 0) | |
| h20: APP 12 19 | |
| h21: APP 20 18 | |
| I: Unwind s0: h20 h0: DEF "<" 2 120 | |
| P: 15 s1: h21 h1: DEF "|" 2 50 | |
| s2: c3 h2: DEF "if" 3 130 | |
| h3: DEF "*" 2 90 | |
| h4: DEF "not" 1 36 | |
| h5: DEF "false" 0 24 | |
| h6: DEF "-" 2 80 | |
| h7: DEF "+" 2 70 | |
| h8: IND 21 | |
| h9: DEF "true" 0 30 | |
| h10: DEF "negate" 1 43 | |
| h11: DEF "/" 2 100 | |
| h12: DEF "k1" 2 18 | |
| h13: DEF "==" 2 110 | |
| h14: DEF "&" 2 60 | |
| h15: VAL (Integer 2) | |
| h16: VAL (Integer 1) | |
| h17: APP 12 16 | |
| h18: APP 17 15 | |
| h19: VAL (Integer 0) | |
| h20: APP 12 19 | |
| h21: APP 20 18 | |
| I: Unwind s0: h12 h0: DEF "<" 2 120 | |
| P: 15 s1: h20 h1: DEF "|" 2 50 | |
| s2: h21 h2: DEF "if" 3 130 | |
| s3: c3 h3: DEF "*" 2 90 | |
| h4: DEF "not" 1 36 | |
| h5: DEF "false" 0 24 | |
| h6: DEF "-" 2 80 | |
| h7: DEF "+" 2 70 | |
| h8: IND 21 | |
| h9: DEF "true" 0 30 | |
| h10: DEF "negate" 1 43 | |
| h11: DEF "/" 2 100 | |
| h12: DEF "k1" 2 18 | |
| h13: DEF "==" 2 110 | |
| h14: DEF "&" 2 60 | |
| h15: VAL (Integer 2) | |
| h16: VAL (Integer 1) | |
| h17: APP 12 16 | |
| h18: APP 17 15 | |
| h19: VAL (Integer 0) | |
| h20: APP 12 19 | |
| h21: APP 20 18 | |
| I: Unwind s0: h12 h0: DEF "<" 2 120 | |
| P: 16 s1: h20 h1: DEF "|" 2 50 | |
| s2: h21 h2: DEF "if" 3 130 | |
| s3: c3 h3: DEF "*" 2 90 | |
| h4: DEF "not" 1 36 | |
| h5: DEF "false" 0 24 | |
| h6: DEF "-" 2 80 | |
| h7: DEF "+" 2 70 | |
| h8: IND 21 | |
| h9: DEF "true" 0 30 | |
| h10: DEF "negate" 1 43 | |
| h11: DEF "/" 2 100 | |
| h12: DEF "k1" 2 18 | |
| h13: DEF "==" 2 110 | |
| h14: DEF "&" 2 60 | |
| h15: VAL (Integer 2) | |
| h16: VAL (Integer 1) | |
| h17: APP 12 16 | |
| h18: APP 17 15 | |
| h19: VAL (Integer 0) | |
| h20: APP 12 19 | |
| h21: APP 20 18 | |
| I: Call s0: c17 h0: DEF "<" 2 120 | |
| P: 18 s1: h12 h1: DEF "|" 2 50 | |
| s2: h20 h2: DEF "if" 3 130 | |
| s3: h21 h3: DEF "*" 2 90 | |
| s4: c3 h4: DEF "not" 1 36 | |
| h5: DEF "false" 0 24 | |
| h6: DEF "-" 2 80 | |
| h7: DEF "+" 2 70 | |
| h8: IND 21 | |
| h9: DEF "true" 0 30 | |
| h10: DEF "negate" 1 43 | |
| h11: DEF "/" 2 100 | |
| h12: DEF "k1" 2 18 | |
| h13: DEF "==" 2 110 | |
| h14: DEF "&" 2 60 | |
| h15: VAL (Integer 2) | |
| h16: VAL (Integer 1) | |
| h17: APP 12 16 | |
| h18: APP 17 15 | |
| h19: VAL (Integer 0) | |
| h20: APP 12 19 | |
| h21: APP 20 18 | |
| I: Pushparam 2 s0: h18 h0: DEF "<" 2 120 | |
| P: 19 s1: c17 h1: DEF "|" 2 50 | |
| s2: h12 h2: DEF "if" 3 130 | |
| s3: h20 h3: DEF "*" 2 90 | |
| s4: h21 h4: DEF "not" 1 36 | |
| s5: c3 h5: DEF "false" 0 24 | |
| h6: DEF "-" 2 80 | |
| h7: DEF "+" 2 70 | |
| h8: IND 21 | |
| h9: DEF "true" 0 30 | |
| h10: DEF "negate" 1 43 | |
| h11: DEF "/" 2 100 | |
| h12: DEF "k1" 2 18 | |
| h13: DEF "==" 2 110 | |
| h14: DEF "&" 2 60 | |
| h15: VAL (Integer 2) | |
| h16: VAL (Integer 1) | |
| h17: APP 12 16 | |
| h18: APP 17 15 | |
| h19: VAL (Integer 0) | |
| h20: APP 12 19 | |
| h21: APP 20 18 | |
| I: Update 2 s0: h18 h0: DEF "<" 2 120 | |
| P: 20 s1: c17 h1: DEF "|" 2 50 | |
| s2: h12 h2: DEF "if" 3 130 | |
| s3: h20 h3: DEF "*" 2 90 | |
| s4: h21 h4: DEF "not" 1 36 | |
| s5: c3 h5: DEF "false" 0 24 | |
| h6: DEF "-" 2 80 | |
| h7: DEF "+" 2 70 | |
| h8: IND 21 | |
| h9: DEF "true" 0 30 | |
| h10: DEF "negate" 1 43 | |
| h11: DEF "/" 2 100 | |
| h12: DEF "k1" 2 18 | |
| h13: DEF "==" 2 110 | |
| h14: DEF "&" 2 60 | |
| h15: VAL (Integer 2) | |
| h16: VAL (Integer 1) | |
| h17: APP 12 16 | |
| h18: APP 17 15 | |
| h19: VAL (Integer 0) | |
| h20: APP 12 19 | |
| h21: IND 18 | |
| I: Slide 3 s0: h18 h0: DEF "<" 2 120 | |
| P: 21 s1: c17 h1: DEF "|" 2 50 | |
| s2: c3 h2: DEF "if" 3 130 | |
| h3: DEF "*" 2 90 | |
| h4: DEF "not" 1 36 | |
| h5: DEF "false" 0 24 | |
| h6: DEF "-" 2 80 | |
| h7: DEF "+" 2 70 | |
| h8: IND 21 | |
| h9: DEF "true" 0 30 | |
| h10: DEF "negate" 1 43 | |
| h11: DEF "/" 2 100 | |
| h12: DEF "k1" 2 18 | |
| h13: DEF "==" 2 110 | |
| h14: DEF "&" 2 60 | |
| h15: VAL (Integer 2) | |
| h16: VAL (Integer 1) | |
| h17: APP 12 16 | |
| h18: APP 17 15 | |
| h19: VAL (Integer 0) | |
| h20: APP 12 19 | |
| h21: IND 18 | |
| I: Unwind s0: h17 h0: DEF "<" 2 120 | |
| P: 21 s1: h18 h1: DEF "|" 2 50 | |
| s2: c17 h2: DEF "if" 3 130 | |
| s3: c3 h3: DEF "*" 2 90 | |
| h4: DEF "not" 1 36 | |
| h5: DEF "false" 0 24 | |
| h6: DEF "-" 2 80 | |
| h7: DEF "+" 2 70 | |
| h8: IND 21 | |
| h9: DEF "true" 0 30 | |
| h10: DEF "negate" 1 43 | |
| h11: DEF "/" 2 100 | |
| h12: DEF "k1" 2 18 | |
| h13: DEF "==" 2 110 | |
| h14: DEF "&" 2 60 | |
| h15: VAL (Integer 2) | |
| h16: VAL (Integer 1) | |
| h17: APP 12 16 | |
| h18: APP 17 15 | |
| h19: VAL (Integer 0) | |
| h20: APP 12 19 | |
| h21: IND 18 | |
| I: Unwind s0: h12 h0: DEF "<" 2 120 | |
| P: 21 s1: h17 h1: DEF "|" 2 50 | |
| s2: h18 h2: DEF "if" 3 130 | |
| s3: c17 h3: DEF "*" 2 90 | |
| s4: c3 h4: DEF "not" 1 36 | |
| h5: DEF "false" 0 24 | |
| h6: DEF "-" 2 80 | |
| h7: DEF "+" 2 70 | |
| h8: IND 21 | |
| h9: DEF "true" 0 30 | |
| h10: DEF "negate" 1 43 | |
| h11: DEF "/" 2 100 | |
| h12: DEF "k1" 2 18 | |
| h13: DEF "==" 2 110 | |
| h14: DEF "&" 2 60 | |
| h15: VAL (Integer 2) | |
| h16: VAL (Integer 1) | |
| h17: APP 12 16 | |
| h18: APP 17 15 | |
| h19: VAL (Integer 0) | |
| h20: APP 12 19 | |
| h21: IND 18 | |
| I: Unwind s0: h12 h0: DEF "<" 2 120 | |
| P: 22 s1: h17 h1: DEF "|" 2 50 | |
| s2: h18 h2: DEF "if" 3 130 | |
| s3: c17 h3: DEF "*" 2 90 | |
| s4: c3 h4: DEF "not" 1 36 | |
| h5: DEF "false" 0 24 | |
| h6: DEF "-" 2 80 | |
| h7: DEF "+" 2 70 | |
| h8: IND 21 | |
| h9: DEF "true" 0 30 | |
| h10: DEF "negate" 1 43 | |
| h11: DEF "/" 2 100 | |
| h12: DEF "k1" 2 18 | |
| h13: DEF "==" 2 110 | |
| h14: DEF "&" 2 60 | |
| h15: VAL (Integer 2) | |
| h16: VAL (Integer 1) | |
| h17: APP 12 16 | |
| h18: APP 17 15 | |
| h19: VAL (Integer 0) | |
| h20: APP 12 19 | |
| h21: IND 18 | |
| I: Call s0: c23 h0: DEF "<" 2 120 | |
| P: 18 s1: h12 h1: DEF "|" 2 50 | |
| s2: h17 h2: DEF "if" 3 130 | |
| s3: h18 h3: DEF "*" 2 90 | |
| s4: c17 h4: DEF "not" 1 36 | |
| s5: c3 h5: DEF "false" 0 24 | |
| h6: DEF "-" 2 80 | |
| h7: DEF "+" 2 70 | |
| h8: IND 21 | |
| h9: DEF "true" 0 30 | |
| h10: DEF "negate" 1 43 | |
| h11: DEF "/" 2 100 | |
| h12: DEF "k1" 2 18 | |
| h13: DEF "==" 2 110 | |
| h14: DEF "&" 2 60 | |
| h15: VAL (Integer 2) | |
| h16: VAL (Integer 1) | |
| h17: APP 12 16 | |
| h18: APP 17 15 | |
| h19: VAL (Integer 0) | |
| h20: APP 12 19 | |
| h21: IND 18 | |
| I: Pushparam 2 s0: h15 h0: DEF "<" 2 120 | |
| P: 19 s1: c23 h1: DEF "|" 2 50 | |
| s2: h12 h2: DEF "if" 3 130 | |
| s3: h17 h3: DEF "*" 2 90 | |
| s4: h18 h4: DEF "not" 1 36 | |
| s5: c17 h5: DEF "false" 0 24 | |
| s6: c3 h6: DEF "-" 2 80 | |
| h7: DEF "+" 2 70 | |
| h8: IND 21 | |
| h9: DEF "true" 0 30 | |
| h10: DEF "negate" 1 43 | |
| h11: DEF "/" 2 100 | |
| h12: DEF "k1" 2 18 | |
| h13: DEF "==" 2 110 | |
| h14: DEF "&" 2 60 | |
| h15: VAL (Integer 2) | |
| h16: VAL (Integer 1) | |
| h17: APP 12 16 | |
| h18: APP 17 15 | |
| h19: VAL (Integer 0) | |
| h20: APP 12 19 | |
| h21: IND 18 | |
| I: Update 2 s0: h15 h0: DEF "<" 2 120 | |
| P: 20 s1: c23 h1: DEF "|" 2 50 | |
| s2: h12 h2: DEF "if" 3 130 | |
| s3: h17 h3: DEF "*" 2 90 | |
| s4: h18 h4: DEF "not" 1 36 | |
| s5: c17 h5: DEF "false" 0 24 | |
| s6: c3 h6: DEF "-" 2 80 | |
| h7: DEF "+" 2 70 | |
| h8: IND 21 | |
| h9: DEF "true" 0 30 | |
| h10: DEF "negate" 1 43 | |
| h11: DEF "/" 2 100 | |
| h12: DEF "k1" 2 18 | |
| h13: DEF "==" 2 110 | |
| h14: DEF "&" 2 60 | |
| h15: VAL (Integer 2) | |
| h16: VAL (Integer 1) | |
| h17: APP 12 16 | |
| h18: IND 15 | |
| h19: VAL (Integer 0) | |
| h20: APP 12 19 | |
| h21: IND 18 | |
| I: Slide 3 s0: h15 h0: DEF "<" 2 120 | |
| P: 21 s1: c23 h1: DEF "|" 2 50 | |
| s2: c17 h2: DEF "if" 3 130 | |
| s3: c3 h3: DEF "*" 2 90 | |
| h4: DEF "not" 1 36 | |
| h5: DEF "false" 0 24 | |
| h6: DEF "-" 2 80 | |
| h7: DEF "+" 2 70 | |
| h8: IND 21 | |
| h9: DEF "true" 0 30 | |
| h10: DEF "negate" 1 43 | |
| h11: DEF "/" 2 100 | |
| h12: DEF "k1" 2 18 | |
| h13: DEF "==" 2 110 | |
| h14: DEF "&" 2 60 | |
| h15: VAL (Integer 2) | |
| h16: VAL (Integer 1) | |
| h17: APP 12 16 | |
| h18: IND 15 | |
| h19: VAL (Integer 0) | |
| h20: APP 12 19 | |
| h21: IND 18 | |
| I: Unwind s0: h15 h0: DEF "<" 2 120 | |
| P: 22 s1: c23 h1: DEF "|" 2 50 | |
| s2: c17 h2: DEF "if" 3 130 | |
| s3: c3 h3: DEF "*" 2 90 | |
| h4: DEF "not" 1 36 | |
| h5: DEF "false" 0 24 | |
| h6: DEF "-" 2 80 | |
| h7: DEF "+" 2 70 | |
| h8: IND 21 | |
| h9: DEF "true" 0 30 | |
| h10: DEF "negate" 1 43 | |
| h11: DEF "/" 2 100 | |
| h12: DEF "k1" 2 18 | |
| h13: DEF "==" 2 110 | |
| h14: DEF "&" 2 60 | |
| h15: VAL (Integer 2) | |
| h16: VAL (Integer 1) | |
| h17: APP 12 16 | |
| h18: IND 15 | |
| h19: VAL (Integer 0) | |
| h20: APP 12 19 | |
| h21: IND 18 | |
| I: Call s0: h15 h0: DEF "<" 2 120 | |
| P: 23 s1: c23 h1: DEF "|" 2 50 | |
| s2: c17 h2: DEF "if" 3 130 | |
| s3: c3 h3: DEF "*" 2 90 | |
| h4: DEF "not" 1 36 | |
| h5: DEF "false" 0 24 | |
| h6: DEF "-" 2 80 | |
| h7: DEF "+" 2 70 | |
| h8: IND 21 | |
| h9: DEF "true" 0 30 | |
| h10: DEF "negate" 1 43 | |
| h11: DEF "/" 2 100 | |
| h12: DEF "k1" 2 18 | |
| h13: DEF "==" 2 110 | |
| h14: DEF "&" 2 60 | |
| h15: VAL (Integer 2) | |
| h16: VAL (Integer 1) | |
| h17: APP 12 16 | |
| h18: IND 15 | |
| h19: VAL (Integer 0) | |
| h20: APP 12 19 | |
| h21: IND 18 | |
| I: Return s0: h15 h0: DEF "<" 2 120 | |
| P: 23 s1: c17 h1: DEF "|" 2 50 | |
| s2: c3 h2: DEF "if" 3 130 | |
| h3: DEF "*" 2 90 | |
| h4: DEF "not" 1 36 | |
| h5: DEF "false" 0 24 | |
| h6: DEF "-" 2 80 | |
| h7: DEF "+" 2 70 | |
| h8: IND 21 | |
| h9: DEF "true" 0 30 | |
| h10: DEF "negate" 1 43 | |
| h11: DEF "/" 2 100 | |
| h12: DEF "k1" 2 18 | |
| h13: DEF "==" 2 110 | |
| h14: DEF "&" 2 60 | |
| h15: VAL (Integer 2) | |
| h16: VAL (Integer 1) | |
| h17: APP 12 16 | |
| h18: IND 15 | |
| h19: VAL (Integer 0) | |
| h20: APP 12 19 | |
| h21: IND 18 | |
| I: Return s0: h15 h0: DEF "<" 2 120 | |
| P: 17 s1: c3 h1: DEF "|" 2 50 | |
| h2: DEF "if" 3 130 | |
| h3: DEF "*" 2 90 | |
| h4: DEF "not" 1 36 | |
| h5: DEF "false" 0 24 | |
| h6: DEF "-" 2 80 | |
| h7: DEF "+" 2 70 | |
| h8: IND 21 | |
| h9: DEF "true" 0 30 | |
| h10: DEF "negate" 1 43 | |
| h11: DEF "/" 2 100 | |
| h12: DEF "k1" 2 18 | |
| h13: DEF "==" 2 110 | |
| h14: DEF "&" 2 60 | |
| h15: VAL (Integer 2) | |
| h16: VAL (Integer 1) | |
| h17: APP 12 16 | |
| h18: IND 15 | |
| h19: VAL (Integer 0) | |
| h20: APP 12 19 | |
| h21: IND 18 | |
| I: Return s0: h15 h0: DEF "<" 2 120 | |
| P: 3 h1: DEF "|" 2 50 | |
| h2: DEF "if" 3 130 | |
| h3: DEF "*" 2 90 | |
| h4: DEF "not" 1 36 | |
| h5: DEF "false" 0 24 | |
| h6: DEF "-" 2 80 | |
| h7: DEF "+" 2 70 | |
| h8: IND 21 | |
| h9: DEF "true" 0 30 | |
| h10: DEF "negate" 1 43 | |
| h11: DEF "/" 2 100 | |
| h12: DEF "k1" 2 18 | |
| h13: DEF "==" 2 110 | |
| h14: DEF "&" 2 60 | |
| h15: VAL (Integer 2) | |
| h16: VAL (Integer 1) | |
| h17: APP 12 16 | |
| h18: IND 15 | |
| h19: VAL (Integer 0) | |
| h20: APP 12 19 | |
| h21: IND 18 |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment