Skip to content

Instantly share code, notes, and snippets.

View prednaz's full-sized avatar

Philipp prednaz

8 followers · 0 following
View GitHub Profile
@prednaz
prednaz / eq.hs
Created August 15, 2021 18:56
main = 6 == 2;
@prednaz
prednaz / eq.log
Last active August 15, 2021 18:59
fromList [("<",(2,110)),("|",(2,40)),("if",(3,120)),("*",(2,80)),("not",(1,26)),("false",(0,14)),("-",(2,70)),("+",(2,60)),("main",(0,4)),("true",(0,20)),("negate",(1,33)),("/",(2,90)),("==",(2,100)),("&",(2,50))]
[Reset,Pushfun "main",Call,Halt,Pushval (Integer 2),Pushval (Integer 6),Pushfun "==",Makeapp,Makeapp,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,Pushp
@prednaz
prednaz / neq.hs
Created August 18, 2021 16:52
main = not (6 == 2);
@prednaz
prednaz / neq.log
Created August 18, 2021 16:56
fromList
[
( "<"
,
( 2
, 112
)
)
,
( "|"
@prednaz
prednaz / neq1.log
Created August 18, 2021 16:59
I: Reset h0: DEF "<" 2 112
P: 1 h1: DEF "|" 2 42
h2: DEF "if" 3 122
h3: DEF "*" 2 82
h4: DEF "not" 1 28
h5: DEF "false" 0 16
h6: DEF "-" 2 72
h7: DEF "+" 2 62
h8: DEF "main" 0 4
h9: DEF "true" 0 22
@prednaz
prednaz / second.hs
Created August 18, 2021 21:03
main = second 1 2; second x y = y;
@prednaz
prednaz / second.log
Created August 18, 2021 21:05
fromList
[
("main",(0,4)),
("second",(2,14)),
("false",(0,20)),
("true",(0,26)),
("not",(1,32)),
("negate",(1,39)),
("|",(2,46)),
("&",(2,56)),
@prednaz
prednaz / second1.log
Created August 18, 2021 21:06
I: Reset h0: DEF "<" 2 116
P: 1 h1: DEF "|" 2 46
h2: DEF "if" 3 126
h3: DEF "*" 2 86
h4: DEF "not" 1 32
h5: DEF "false" 0 20
h6: DEF "-" 2 76
h7: DEF "second" 2 14
h8: DEF "+" 2 66
h9: DEF "main" 0 4
@prednaz
prednaz / k1.hs
Created August 18, 2021 21:36
main = k1 0 (k1 1 2); k1 a b = b;
@prednaz
prednaz / k1.log
Created August 18, 2021 21:36
fromList
[
("main",(0,4)),
("k1",(2,18)),
("false",(0,24)),
("true",(0,30)),
("not",(1,36)),
("negate",(1,43)),
("|",(2,50)),
("&",(2,60)),