Created
August 18, 2021 22:21
-
-
Save prednaz/cdc96c69224840576f1dbead1a2ee810 to your computer and use it in GitHub Desktop.
This file contains 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 122 | |
P: 1 h1: DEF "|" 2 52 | |
h2: DEF "if" 3 132 | |
h3: DEF "*" 2 92 | |
h4: DEF "not" 1 38 | |
h5: DEF "false" 0 26 | |
h6: DEF "-" 2 82 | |
h7: DEF "+" 2 72 | |
h8: DEF "main" 0 4 | |
h9: DEF "true" 0 32 | |
h10: DEF "a" 0 14 | |
h11: DEF "negate" 1 45 | |
h12: DEF "/" 2 102 | |
h13: DEF "b" 0 20 | |
h14: DEF "==" 2 112 | |
h15: DEF "&" 2 62 | |
I: Pushfun "main" s0: h8 h0: DEF "<" 2 122 | |
P: 2 h1: DEF "|" 2 52 | |
h2: DEF "if" 3 132 | |
h3: DEF "*" 2 92 | |
h4: DEF "not" 1 38 | |
h5: DEF "false" 0 26 | |
h6: DEF "-" 2 82 | |
h7: DEF "+" 2 72 | |
h8: DEF "main" 0 4 | |
h9: DEF "true" 0 32 | |
h10: DEF "a" 0 14 | |
h11: DEF "negate" 1 45 | |
h12: DEF "/" 2 102 | |
h13: DEF "b" 0 20 | |
h14: DEF "==" 2 112 | |
h15: DEF "&" 2 62 | |
I: Call s0: c3 h0: DEF "<" 2 122 | |
P: 4 s1: h8 h1: DEF "|" 2 52 | |
h2: DEF "if" 3 132 | |
h3: DEF "*" 2 92 | |
h4: DEF "not" 1 38 | |
h5: DEF "false" 0 26 | |
h6: DEF "-" 2 82 | |
h7: DEF "+" 2 72 | |
h8: DEF "main" 0 4 | |
h9: DEF "true" 0 32 | |
h10: DEF "a" 0 14 | |
h11: DEF "negate" 1 45 | |
h12: DEF "/" 2 102 | |
h13: DEF "b" 0 20 | |
h14: DEF "==" 2 112 | |
h15: DEF "&" 2 62 | |
I: Pushfun "b" s0: h13 h0: DEF "<" 2 122 | |
P: 5 s1: c3 h1: DEF "|" 2 52 | |
s2: h8 h2: DEF "if" 3 132 | |
h3: DEF "*" 2 92 | |
h4: DEF "not" 1 38 | |
h5: DEF "false" 0 26 | |
h6: DEF "-" 2 82 | |
h7: DEF "+" 2 72 | |
h8: DEF "main" 0 4 | |
h9: DEF "true" 0 32 | |
h10: DEF "a" 0 14 | |
h11: DEF "negate" 1 45 | |
h12: DEF "/" 2 102 | |
h13: DEF "b" 0 20 | |
h14: DEF "==" 2 112 | |
h15: DEF "&" 2 62 | |
I: Pushfun "a" s0: h10 h0: DEF "<" 2 122 | |
P: 6 s1: h13 h1: DEF "|" 2 52 | |
s2: c3 h2: DEF "if" 3 132 | |
s3: h8 h3: DEF "*" 2 92 | |
h4: DEF "not" 1 38 | |
h5: DEF "false" 0 26 | |
h6: DEF "-" 2 82 | |
h7: DEF "+" 2 72 | |
h8: DEF "main" 0 4 | |
h9: DEF "true" 0 32 | |
h10: DEF "a" 0 14 | |
h11: DEF "negate" 1 45 | |
h12: DEF "/" 2 102 | |
h13: DEF "b" 0 20 | |
h14: DEF "==" 2 112 | |
h15: DEF "&" 2 62 | |
I: Pushfun "+" s0: h7 h0: DEF "<" 2 122 | |
P: 7 s1: h10 h1: DEF "|" 2 52 | |
s2: h13 h2: DEF "if" 3 132 | |
s3: c3 h3: DEF "*" 2 92 | |
s4: h8 h4: DEF "not" 1 38 | |
h5: DEF "false" 0 26 | |
h6: DEF "-" 2 82 | |
h7: DEF "+" 2 72 | |
h8: DEF "main" 0 4 | |
h9: DEF "true" 0 32 | |
h10: DEF "a" 0 14 | |
h11: DEF "negate" 1 45 | |
h12: DEF "/" 2 102 | |
h13: DEF "b" 0 20 | |
h14: DEF "==" 2 112 | |
h15: DEF "&" 2 62 | |
I: Makeapp s0: h16 h0: DEF "<" 2 122 | |
P: 8 s1: h13 h1: DEF "|" 2 52 | |
s2: c3 h2: DEF "if" 3 132 | |
s3: h8 h3: DEF "*" 2 92 | |
h4: DEF "not" 1 38 | |
h5: DEF "false" 0 26 | |
h6: DEF "-" 2 82 | |
h7: DEF "+" 2 72 | |
h8: DEF "main" 0 4 | |
h9: DEF "true" 0 32 | |
h10: DEF "a" 0 14 | |
h11: DEF "negate" 1 45 | |
h12: DEF "/" 2 102 | |
h13: DEF "b" 0 20 | |
h14: DEF "==" 2 112 | |
h15: DEF "&" 2 62 | |
h16: APP 7 10 | |
I: Makeapp s0: h17 h0: DEF "<" 2 122 | |
P: 9 s1: c3 h1: DEF "|" 2 52 | |
s2: h8 h2: DEF "if" 3 132 | |
h3: DEF "*" 2 92 | |
h4: DEF "not" 1 38 | |
h5: DEF "false" 0 26 | |
h6: DEF "-" 2 82 | |
h7: DEF "+" 2 72 | |
h8: DEF "main" 0 4 | |
h9: DEF "true" 0 32 | |
h10: DEF "a" 0 14 | |
h11: DEF "negate" 1 45 | |
h12: DEF "/" 2 102 | |
h13: DEF "b" 0 20 | |
h14: DEF "==" 2 112 | |
h15: DEF "&" 2 62 | |
h16: APP 7 10 | |
h17: APP 16 13 | |
I: Update 0 s0: h17 h0: DEF "<" 2 122 | |
P: 10 s1: c3 h1: DEF "|" 2 52 | |
s2: h8 h2: DEF "if" 3 132 | |
h3: DEF "*" 2 92 | |
h4: DEF "not" 1 38 | |
h5: DEF "false" 0 26 | |
h6: DEF "-" 2 82 | |
h7: DEF "+" 2 72 | |
h8: IND 17 | |
h9: DEF "true" 0 32 | |
h10: DEF "a" 0 14 | |
h11: DEF "negate" 1 45 | |
h12: DEF "/" 2 102 | |
h13: DEF "b" 0 20 | |
h14: DEF "==" 2 112 | |
h15: DEF "&" 2 62 | |
h16: APP 7 10 | |
h17: APP 16 13 | |
I: Slide 1 s0: h17 h0: DEF "<" 2 122 | |
P: 11 s1: c3 h1: DEF "|" 2 52 | |
h2: DEF "if" 3 132 | |
h3: DEF "*" 2 92 | |
h4: DEF "not" 1 38 | |
h5: DEF "false" 0 26 | |
h6: DEF "-" 2 82 | |
h7: DEF "+" 2 72 | |
h8: IND 17 | |
h9: DEF "true" 0 32 | |
h10: DEF "a" 0 14 | |
h11: DEF "negate" 1 45 | |
h12: DEF "/" 2 102 | |
h13: DEF "b" 0 20 | |
h14: DEF "==" 2 112 | |
h15: DEF "&" 2 62 | |
h16: APP 7 10 | |
h17: APP 16 13 | |
I: Unwind s0: h16 h0: DEF "<" 2 122 | |
P: 11 s1: h17 h1: DEF "|" 2 52 | |
s2: c3 h2: DEF "if" 3 132 | |
h3: DEF "*" 2 92 | |
h4: DEF "not" 1 38 | |
h5: DEF "false" 0 26 | |
h6: DEF "-" 2 82 | |
h7: DEF "+" 2 72 | |
h8: IND 17 | |
h9: DEF "true" 0 32 | |
h10: DEF "a" 0 14 | |
h11: DEF "negate" 1 45 | |
h12: DEF "/" 2 102 | |
h13: DEF "b" 0 20 | |
h14: DEF "==" 2 112 | |
h15: DEF "&" 2 62 | |
h16: APP 7 10 | |
h17: APP 16 13 | |
I: Unwind s0: h7 h0: DEF "<" 2 122 | |
P: 11 s1: h16 h1: DEF "|" 2 52 | |
s2: h17 h2: DEF "if" 3 132 | |
s3: c3 h3: DEF "*" 2 92 | |
h4: DEF "not" 1 38 | |
h5: DEF "false" 0 26 | |
h6: DEF "-" 2 82 | |
h7: DEF "+" 2 72 | |
h8: IND 17 | |
h9: DEF "true" 0 32 | |
h10: DEF "a" 0 14 | |
h11: DEF "negate" 1 45 | |
h12: DEF "/" 2 102 | |
h13: DEF "b" 0 20 | |
h14: DEF "==" 2 112 | |
h15: DEF "&" 2 62 | |
h16: APP 7 10 | |
h17: APP 16 13 | |
I: Unwind s0: h7 h0: DEF "<" 2 122 | |
P: 12 s1: h16 h1: DEF "|" 2 52 | |
s2: h17 h2: DEF "if" 3 132 | |
s3: c3 h3: DEF "*" 2 92 | |
h4: DEF "not" 1 38 | |
h5: DEF "false" 0 26 | |
h6: DEF "-" 2 82 | |
h7: DEF "+" 2 72 | |
h8: IND 17 | |
h9: DEF "true" 0 32 | |
h10: DEF "a" 0 14 | |
h11: DEF "negate" 1 45 | |
h12: DEF "/" 2 102 | |
h13: DEF "b" 0 20 | |
h14: DEF "==" 2 112 | |
h15: DEF "&" 2 62 | |
h16: APP 7 10 | |
h17: APP 16 13 | |
I: Call s0: c13 h0: DEF "<" 2 122 | |
P: 72 s1: h7 h1: DEF "|" 2 52 | |
s2: h16 h2: DEF "if" 3 132 | |
s3: h17 h3: DEF "*" 2 92 | |
s4: c3 h4: DEF "not" 1 38 | |
h5: DEF "false" 0 26 | |
h6: DEF "-" 2 82 | |
h7: DEF "+" 2 72 | |
h8: IND 17 | |
h9: DEF "true" 0 32 | |
h10: DEF "a" 0 14 | |
h11: DEF "negate" 1 45 | |
h12: DEF "/" 2 102 | |
h13: DEF "b" 0 20 | |
h14: DEF "==" 2 112 | |
h15: DEF "&" 2 62 | |
h16: APP 7 10 | |
h17: APP 16 13 | |
I: Pushparam 1 s0: h10 h0: DEF "<" 2 122 | |
P: 73 s1: c13 h1: DEF "|" 2 52 | |
s2: h7 h2: DEF "if" 3 132 | |
s3: h16 h3: DEF "*" 2 92 | |
s4: h17 h4: DEF "not" 1 38 | |
s5: c3 h5: DEF "false" 0 26 | |
h6: DEF "-" 2 82 | |
h7: DEF "+" 2 72 | |
h8: IND 17 | |
h9: DEF "true" 0 32 | |
h10: DEF "a" 0 14 | |
h11: DEF "negate" 1 45 | |
h12: DEF "/" 2 102 | |
h13: DEF "b" 0 20 | |
h14: DEF "==" 2 112 | |
h15: DEF "&" 2 62 | |
h16: APP 7 10 | |
h17: APP 16 13 | |
I: Unwind s0: h10 h0: DEF "<" 2 122 | |
P: 74 s1: c13 h1: DEF "|" 2 52 | |
s2: h7 h2: DEF "if" 3 132 | |
s3: h16 h3: DEF "*" 2 92 | |
s4: h17 h4: DEF "not" 1 38 | |
s5: c3 h5: DEF "false" 0 26 | |
h6: DEF "-" 2 82 | |
h7: DEF "+" 2 72 | |
h8: IND 17 | |
h9: DEF "true" 0 32 | |
h10: DEF "a" 0 14 | |
h11: DEF "negate" 1 45 | |
h12: DEF "/" 2 102 | |
h13: DEF "b" 0 20 | |
h14: DEF "==" 2 112 | |
h15: DEF "&" 2 62 | |
h16: APP 7 10 | |
h17: APP 16 13 | |
I: Call s0: c75 h0: DEF "<" 2 122 | |
P: 14 s1: h10 h1: DEF "|" 2 52 | |
s2: c13 h2: DEF "if" 3 132 | |
s3: h7 h3: DEF "*" 2 92 | |
s4: h16 h4: DEF "not" 1 38 | |
s5: h17 h5: DEF "false" 0 26 | |
s6: c3 h6: DEF "-" 2 82 | |
h7: DEF "+" 2 72 | |
h8: IND 17 | |
h9: DEF "true" 0 32 | |
h10: DEF "a" 0 14 | |
h11: DEF "negate" 1 45 | |
h12: DEF "/" 2 102 | |
h13: DEF "b" 0 20 | |
h14: DEF "==" 2 112 | |
h15: DEF "&" 2 62 | |
h16: APP 7 10 | |
h17: APP 16 13 | |
I: Pushval (Integer 0) s0: h18 h0: DEF "<" 2 122 | |
P: 15 s1: c75 h1: DEF "|" 2 52 | |
s2: h10 h2: DEF "if" 3 132 | |
s3: c13 h3: DEF "*" 2 92 | |
s4: h7 h4: DEF "not" 1 38 | |
s5: h16 h5: DEF "false" 0 26 | |
s6: h17 h6: DEF "-" 2 82 | |
s7: c3 h7: DEF "+" 2 72 | |
h8: IND 17 | |
h9: DEF "true" 0 32 | |
h10: DEF "a" 0 14 | |
h11: DEF "negate" 1 45 | |
h12: DEF "/" 2 102 | |
h13: DEF "b" 0 20 | |
h14: DEF "==" 2 112 | |
h15: DEF "&" 2 62 | |
h16: APP 7 10 | |
h17: APP 16 13 | |
h18: VAL (Integer 0) | |
I: Update 0 s0: h18 h0: DEF "<" 2 122 | |
P: 16 s1: c75 h1: DEF "|" 2 52 | |
s2: h10 h2: DEF "if" 3 132 | |
s3: c13 h3: DEF "*" 2 92 | |
s4: h7 h4: DEF "not" 1 38 | |
s5: h16 h5: DEF "false" 0 26 | |
s6: h17 h6: DEF "-" 2 82 | |
s7: c3 h7: DEF "+" 2 72 | |
h8: IND 17 | |
h9: DEF "true" 0 32 | |
h10: IND 18 | |
h11: DEF "negate" 1 45 | |
h12: DEF "/" 2 102 | |
h13: DEF "b" 0 20 | |
h14: DEF "==" 2 112 | |
h15: DEF "&" 2 62 | |
h16: APP 7 10 | |
h17: APP 16 13 | |
h18: VAL (Integer 0) | |
I: Slide 1 s0: h18 h0: DEF "<" 2 122 | |
P: 17 s1: c75 h1: DEF "|" 2 52 | |
s2: c13 h2: DEF "if" 3 132 | |
s3: h7 h3: DEF "*" 2 92 | |
s4: h16 h4: DEF "not" 1 38 | |
s5: h17 h5: DEF "false" 0 26 | |
s6: c3 h6: DEF "-" 2 82 | |
h7: DEF "+" 2 72 | |
h8: IND 17 | |
h9: DEF "true" 0 32 | |
h10: IND 18 | |
h11: DEF "negate" 1 45 | |
h12: DEF "/" 2 102 | |
h13: DEF "b" 0 20 | |
h14: DEF "==" 2 112 | |
h15: DEF "&" 2 62 | |
h16: APP 7 10 | |
h17: APP 16 13 | |
h18: VAL (Integer 0) | |
I: Unwind s0: h18 h0: DEF "<" 2 122 | |
P: 18 s1: c75 h1: DEF "|" 2 52 | |
s2: c13 h2: DEF "if" 3 132 | |
s3: h7 h3: DEF "*" 2 92 | |
s4: h16 h4: DEF "not" 1 38 | |
s5: h17 h5: DEF "false" 0 26 | |
s6: c3 h6: DEF "-" 2 82 | |
h7: DEF "+" 2 72 | |
h8: IND 17 | |
h9: DEF "true" 0 32 | |
h10: IND 18 | |
h11: DEF "negate" 1 45 | |
h12: DEF "/" 2 102 | |
h13: DEF "b" 0 20 | |
h14: DEF "==" 2 112 | |
h15: DEF "&" 2 62 | |
h16: APP 7 10 | |
h17: APP 16 13 | |
h18: VAL (Integer 0) | |
I: Call s0: h18 h0: DEF "<" 2 122 | |
P: 19 s1: c75 h1: DEF "|" 2 52 | |
s2: c13 h2: DEF "if" 3 132 | |
s3: h7 h3: DEF "*" 2 92 | |
s4: h16 h4: DEF "not" 1 38 | |
s5: h17 h5: DEF "false" 0 26 | |
s6: c3 h6: DEF "-" 2 82 | |
h7: DEF "+" 2 72 | |
h8: IND 17 | |
h9: DEF "true" 0 32 | |
h10: IND 18 | |
h11: DEF "negate" 1 45 | |
h12: DEF "/" 2 102 | |
h13: DEF "b" 0 20 | |
h14: DEF "==" 2 112 | |
h15: DEF "&" 2 62 | |
h16: APP 7 10 | |
h17: APP 16 13 | |
h18: VAL (Integer 0) | |
I: Return s0: h18 h0: DEF "<" 2 122 | |
P: 75 s1: c13 h1: DEF "|" 2 52 | |
s2: h7 h2: DEF "if" 3 132 | |
s3: h16 h3: DEF "*" 2 92 | |
s4: h17 h4: DEF "not" 1 38 | |
s5: c3 h5: DEF "false" 0 26 | |
h6: DEF "-" 2 82 | |
h7: DEF "+" 2 72 | |
h8: IND 17 | |
h9: DEF "true" 0 32 | |
h10: IND 18 | |
h11: DEF "negate" 1 45 | |
h12: DEF "/" 2 102 | |
h13: DEF "b" 0 20 | |
h14: DEF "==" 2 112 | |
h15: DEF "&" 2 62 | |
h16: APP 7 10 | |
h17: APP 16 13 | |
h18: VAL (Integer 0) | |
I: Pushparam 3 s0: h13 h0: DEF "<" 2 122 | |
P: 76 s1: h18 h1: DEF "|" 2 52 | |
s2: c13 h2: DEF "if" 3 132 | |
s3: h7 h3: DEF "*" 2 92 | |
s4: h16 h4: DEF "not" 1 38 | |
s5: h17 h5: DEF "false" 0 26 | |
s6: c3 h6: DEF "-" 2 82 | |
h7: DEF "+" 2 72 | |
h8: IND 17 | |
h9: DEF "true" 0 32 | |
h10: IND 18 | |
h11: DEF "negate" 1 45 | |
h12: DEF "/" 2 102 | |
h13: DEF "b" 0 20 | |
h14: DEF "==" 2 112 | |
h15: DEF "&" 2 62 | |
h16: APP 7 10 | |
h17: APP 16 13 | |
h18: VAL (Integer 0) | |
I: Unwind s0: h13 h0: DEF "<" 2 122 | |
P: 77 s1: h18 h1: DEF "|" 2 52 | |
s2: c13 h2: DEF "if" 3 132 | |
s3: h7 h3: DEF "*" 2 92 | |
s4: h16 h4: DEF "not" 1 38 | |
s5: h17 h5: DEF "false" 0 26 | |
s6: c3 h6: DEF "-" 2 82 | |
h7: DEF "+" 2 72 | |
h8: IND 17 | |
h9: DEF "true" 0 32 | |
h10: IND 18 | |
h11: DEF "negate" 1 45 | |
h12: DEF "/" 2 102 | |
h13: DEF "b" 0 20 | |
h14: DEF "==" 2 112 | |
h15: DEF "&" 2 62 | |
h16: APP 7 10 | |
h17: APP 16 13 | |
h18: VAL (Integer 0) | |
I: Call s0: c78 h0: DEF "<" 2 122 | |
P: 20 s1: h13 h1: DEF "|" 2 52 | |
s2: h18 h2: DEF "if" 3 132 | |
s3: c13 h3: DEF "*" 2 92 | |
s4: h7 h4: DEF "not" 1 38 | |
s5: h16 h5: DEF "false" 0 26 | |
s6: h17 h6: DEF "-" 2 82 | |
s7: c3 h7: DEF "+" 2 72 | |
h8: IND 17 | |
h9: DEF "true" 0 32 | |
h10: IND 18 | |
h11: DEF "negate" 1 45 | |
h12: DEF "/" 2 102 | |
h13: DEF "b" 0 20 | |
h14: DEF "==" 2 112 | |
h15: DEF "&" 2 62 | |
h16: APP 7 10 | |
h17: APP 16 13 | |
h18: VAL (Integer 0) | |
I: Pushfun "a" s0: h10 h0: DEF "<" 2 122 | |
P: 21 s1: c78 h1: DEF "|" 2 52 | |
s2: h13 h2: DEF "if" 3 132 | |
s3: h18 h3: DEF "*" 2 92 | |
s4: c13 h4: DEF "not" 1 38 | |
s5: h7 h5: DEF "false" 0 26 | |
s6: h16 h6: DEF "-" 2 82 | |
s7: h17 h7: DEF "+" 2 72 | |
s8: c3 h8: IND 17 | |
h9: DEF "true" 0 32 | |
h10: IND 18 | |
h11: DEF "negate" 1 45 | |
h12: DEF "/" 2 102 | |
h13: DEF "b" 0 20 | |
h14: DEF "==" 2 112 | |
h15: DEF "&" 2 62 | |
h16: APP 7 10 | |
h17: APP 16 13 | |
h18: VAL (Integer 0) | |
I: Update 0 s0: h10 h0: DEF "<" 2 122 | |
P: 22 s1: c78 h1: DEF "|" 2 52 | |
s2: h13 h2: DEF "if" 3 132 | |
s3: h18 h3: DEF "*" 2 92 | |
s4: c13 h4: DEF "not" 1 38 | |
s5: h7 h5: DEF "false" 0 26 | |
s6: h16 h6: DEF "-" 2 82 | |
s7: h17 h7: DEF "+" 2 72 | |
s8: c3 h8: IND 17 | |
h9: DEF "true" 0 32 | |
h10: IND 18 | |
h11: DEF "negate" 1 45 | |
h12: DEF "/" 2 102 | |
h13: IND 10 | |
h14: DEF "==" 2 112 | |
h15: DEF "&" 2 62 | |
h16: APP 7 10 | |
h17: APP 16 13 | |
h18: VAL (Integer 0) | |
I: Slide 1 s0: h10 h0: DEF "<" 2 122 | |
P: 23 s1: c78 h1: DEF "|" 2 52 | |
s2: h18 h2: DEF "if" 3 132 | |
s3: c13 h3: DEF "*" 2 92 | |
s4: h7 h4: DEF "not" 1 38 | |
s5: h16 h5: DEF "false" 0 26 | |
s6: h17 h6: DEF "-" 2 82 | |
s7: c3 h7: DEF "+" 2 72 | |
h8: IND 17 | |
h9: DEF "true" 0 32 | |
h10: IND 18 | |
h11: DEF "negate" 1 45 | |
h12: DEF "/" 2 102 | |
h13: IND 10 | |
h14: DEF "==" 2 112 | |
h15: DEF "&" 2 62 | |
h16: APP 7 10 | |
h17: APP 16 13 | |
h18: VAL (Integer 0) | |
I: Unwind s0: h18 h0: DEF "<" 2 122 | |
P: 23 s1: c78 h1: DEF "|" 2 52 | |
s2: h18 h2: DEF "if" 3 132 | |
s3: c13 h3: DEF "*" 2 92 | |
s4: h7 h4: DEF "not" 1 38 | |
s5: h16 h5: DEF "false" 0 26 | |
s6: h17 h6: DEF "-" 2 82 | |
s7: c3 h7: DEF "+" 2 72 | |
h8: IND 17 | |
h9: DEF "true" 0 32 | |
h10: IND 18 | |
h11: DEF "negate" 1 45 | |
h12: DEF "/" 2 102 | |
h13: IND 10 | |
h14: DEF "==" 2 112 | |
h15: DEF "&" 2 62 | |
h16: APP 7 10 | |
h17: APP 16 13 | |
h18: VAL (Integer 0) | |
I: Unwind s0: h18 h0: DEF "<" 2 122 | |
P: 24 s1: c78 h1: DEF "|" 2 52 | |
s2: h18 h2: DEF "if" 3 132 | |
s3: c13 h3: DEF "*" 2 92 | |
s4: h7 h4: DEF "not" 1 38 | |
s5: h16 h5: DEF "false" 0 26 | |
s6: h17 h6: DEF "-" 2 82 | |
s7: c3 h7: DEF "+" 2 72 | |
h8: IND 17 | |
h9: DEF "true" 0 32 | |
h10: IND 18 | |
h11: DEF "negate" 1 45 | |
h12: DEF "/" 2 102 | |
h13: IND 10 | |
h14: DEF "==" 2 112 | |
h15: DEF "&" 2 62 | |
h16: APP 7 10 | |
h17: APP 16 13 | |
h18: VAL (Integer 0) | |
I: Call s0: h18 h0: DEF "<" 2 122 | |
P: 25 s1: c78 h1: DEF "|" 2 52 | |
s2: h18 h2: DEF "if" 3 132 | |
s3: c13 h3: DEF "*" 2 92 | |
s4: h7 h4: DEF "not" 1 38 | |
s5: h16 h5: DEF "false" 0 26 | |
s6: h17 h6: DEF "-" 2 82 | |
s7: c3 h7: DEF "+" 2 72 | |
h8: IND 17 | |
h9: DEF "true" 0 32 | |
h10: IND 18 | |
h11: DEF "negate" 1 45 | |
h12: DEF "/" 2 102 | |
h13: IND 10 | |
h14: DEF "==" 2 112 | |
h15: DEF "&" 2 62 | |
h16: APP 7 10 | |
h17: APP 16 13 | |
h18: VAL (Integer 0) | |
I: Return s0: h18 h0: DEF "<" 2 122 | |
P: 78 s1: h18 h1: DEF "|" 2 52 | |
s2: c13 h2: DEF "if" 3 132 | |
s3: h7 h3: DEF "*" 2 92 | |
s4: h16 h4: DEF "not" 1 38 | |
s5: h17 h5: DEF "false" 0 26 | |
s6: c3 h6: DEF "-" 2 82 | |
h7: DEF "+" 2 72 | |
h8: IND 17 | |
h9: DEF "true" 0 32 | |
h10: IND 18 | |
h11: DEF "negate" 1 45 | |
h12: DEF "/" 2 102 | |
h13: IND 10 | |
h14: DEF "==" 2 112 | |
h15: DEF "&" 2 62 | |
h16: APP 7 10 | |
h17: APP 16 13 | |
h18: VAL (Integer 0) | |
I: Operator Plus s0: h19 h0: DEF "<" 2 122 | |
P: 79 s1: c13 h1: DEF "|" 2 52 | |
s2: h7 h2: DEF "if" 3 132 | |
s3: h16 h3: DEF "*" 2 92 | |
s4: h17 h4: DEF "not" 1 38 | |
s5: c3 h5: DEF "false" 0 26 | |
h6: DEF "-" 2 82 | |
h7: DEF "+" 2 72 | |
h8: IND 17 | |
h9: DEF "true" 0 32 | |
h10: IND 18 | |
h11: DEF "negate" 1 45 | |
h12: DEF "/" 2 102 | |
h13: IND 10 | |
h14: DEF "==" 2 112 | |
h15: DEF "&" 2 62 | |
h16: APP 7 10 | |
h17: APP 16 13 | |
h18: VAL (Integer 0) | |
h19: VAL (Integer 0) | |
I: Update 2 s0: h19 h0: DEF "<" 2 122 | |
P: 80 s1: c13 h1: DEF "|" 2 52 | |
s2: h7 h2: DEF "if" 3 132 | |
s3: h16 h3: DEF "*" 2 92 | |
s4: h17 h4: DEF "not" 1 38 | |
s5: c3 h5: DEF "false" 0 26 | |
h6: DEF "-" 2 82 | |
h7: DEF "+" 2 72 | |
h8: IND 17 | |
h9: DEF "true" 0 32 | |
h10: IND 18 | |
h11: DEF "negate" 1 45 | |
h12: DEF "/" 2 102 | |
h13: IND 10 | |
h14: DEF "==" 2 112 | |
h15: DEF "&" 2 62 | |
h16: APP 7 10 | |
h17: IND 19 | |
h18: VAL (Integer 0) | |
h19: VAL (Integer 0) | |
I: Slide 3 s0: h19 h0: DEF "<" 2 122 | |
P: 81 s1: c13 h1: DEF "|" 2 52 | |
s2: c3 h2: DEF "if" 3 132 | |
h3: DEF "*" 2 92 | |
h4: DEF "not" 1 38 | |
h5: DEF "false" 0 26 | |
h6: DEF "-" 2 82 | |
h7: DEF "+" 2 72 | |
h8: IND 17 | |
h9: DEF "true" 0 32 | |
h10: IND 18 | |
h11: DEF "negate" 1 45 | |
h12: DEF "/" 2 102 | |
h13: IND 10 | |
h14: DEF "==" 2 112 | |
h15: DEF "&" 2 62 | |
h16: APP 7 10 | |
h17: IND 19 | |
h18: VAL (Integer 0) | |
h19: VAL (Integer 0) | |
I: Return s0: h19 h0: DEF "<" 2 122 | |
P: 13 s1: c3 h1: DEF "|" 2 52 | |
h2: DEF "if" 3 132 | |
h3: DEF "*" 2 92 | |
h4: DEF "not" 1 38 | |
h5: DEF "false" 0 26 | |
h6: DEF "-" 2 82 | |
h7: DEF "+" 2 72 | |
h8: IND 17 | |
h9: DEF "true" 0 32 | |
h10: IND 18 | |
h11: DEF "negate" 1 45 | |
h12: DEF "/" 2 102 | |
h13: IND 10 | |
h14: DEF "==" 2 112 | |
h15: DEF "&" 2 62 | |
h16: APP 7 10 | |
h17: IND 19 | |
h18: VAL (Integer 0) | |
h19: VAL (Integer 0) | |
I: Return s0: h19 h0: DEF "<" 2 122 | |
P: 3 h1: DEF "|" 2 52 | |
h2: DEF "if" 3 132 | |
h3: DEF "*" 2 92 | |
h4: DEF "not" 1 38 | |
h5: DEF "false" 0 26 | |
h6: DEF "-" 2 82 | |
h7: DEF "+" 2 72 | |
h8: IND 17 | |
h9: DEF "true" 0 32 | |
h10: IND 18 | |
h11: DEF "negate" 1 45 | |
h12: DEF "/" 2 102 | |
h13: IND 10 | |
h14: DEF "==" 2 112 | |
h15: DEF "&" 2 62 | |
h16: APP 7 10 | |
h17: IND 19 | |
h18: VAL (Integer 0) | |
h19: VAL (Integer 0) |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment