Skip to content

Instantly share code, notes, and snippets.

View prednaz's full-sized avatar

Philipp prednaz

6 followers · 0 following
View GitHub Profile
@prednaz
prednaz / plus1.log
Created August 18, 2021 22:21
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
@prednaz
prednaz / plus.log
Created August 18, 2021 22:20
fromList
[
("main",(0,4)),
("a",(0,14)),
("b",(0,20)),
("false",(0,26)),
("true",(0,32)),
("not",(1,38)),
("negate",(1,45)),
("|",(2,52)),
@prednaz
prednaz / plus.hs
Created August 18, 2021 22:19
main = a + b; a = 0; b = a;
@prednaz
prednaz / k11.log
Created August 18, 2021 21:37
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
@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)),
@prednaz
prednaz / k1.hs
Created August 18, 2021 21:36
main = k1 0 (k1 1 2); k1 a b = b;
@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 / 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 / second.hs
Created August 18, 2021 21:03
main = second 1 2; second x y = y;
@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