Skip to content

Instantly share code, notes, and snippets.

@prednaz

prednaz/plus.log

Created August 18, 2021 22:20
Show Gist options
  • Save prednaz/5cf12ffee9c08587ed143eda944640c1 to your computer and use it in GitHub Desktop.
Save prednaz/5cf12ffee9c08587ed143eda944640c1 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
plus.log
fromList
[
("main",(0,4)),
("a",(0,14)),
("b",(0,20)),
("false",(0,26)),
("true",(0,32)),
("not",(1,38)),
("negate",(1,45)),
("|",(2,52)),
("&",(2,62)),
("+",(2,72)),
("-",(2,82)),
("*",(2,92)),
("/",(2,102)),
("==",(2,112)),
("<",(2,122)),
("if",(3,132))
]
fromList
[
Reset,
Pushfun "main",
Call,
Halt,
Pushfun "b",
Pushfun "a",
Pushfun "+",
Makeapp,
Makeapp,
Update 0,
Slide 1,
Unwind,
Call,
Return,
Pushval (Integer 0),
Update 0,
Slide 1,
Unwind,
Call,
Return,
Pushfun "a",
Update 0,
Slide 1,
Unwind,
Call,
Return,
Pushval (Bool False),
Update 0,
Slide 1,
Unwind,
Call,
Return,
Pushval (Bool True),
Update 0,
Slide 1,
Unwind,
Call,
Return,
Pushparam 1,
Unwind,
Call,
Operator Not,
Update 1,
Slide 2,
Return,
Pushparam 1,
Unwind,
Call,
Operator Negate,
Update 1,
Slide 2,
Return,
Pushparam 1,
Unwind,
Call,
Pushparam 3,
Unwind,
Call,
Operator Or,
Update 2,
Slide 3,
Return,
Pushparam 1,
Unwind,
Call,
Pushparam 3,
Unwind,
Call,
Operator And,
Update 2,
Slide 3,
Return,
Pushparam 1,
Unwind,
Call,
Pushparam 3,
Unwind,
Call,
Operator Plus,
Update 2,
Slide 3,
Return,
Pushparam 1,
Unwind,
Call,
Pushparam 3,
Unwind,
Call,
Operator Minus,
Update 2,
Slide 3,
Return,
Pushparam 1,
Unwind,
Call,
Pushparam 3,
Unwind,
Call,
Operator Times,
Update 2,
Slide 3,
Return,
Pushparam 1,
Unwind,
Call,
Pushparam 3,
Unwind,
Call,
Operator DividedBy,
Update 2,
Slide 3,
Return,
Pushparam 1,
Unwind,
Call,
Pushparam 3,
Unwind,
Call,
Operator Equals,
Update 2,
Slide 3,
Return,
Pushparam 1,
Unwind,
Call,
Pushparam 3,
Unwind,
Call,
Operator LessThan,
Update 2,
Slide 3,
Return,
Pushparam 1,
Unwind,
Call,
Pushparam 3,
Pushparam 5,
Operator If,
Update 3,
Slide 4,
Unwind,
Call,
Return
]
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment