equal
deleted
inserted
replaced
85 |
85 |
86 |
86 |
87 |
87 |
88 |
88 |
89 println(Const(1)) |
89 println(Const(1)) |
90 println(compile_rec(Const(1))._1) |
|
91 println(compile_rec(Const(1))) |
90 println(compile_rec(Const(1))) |
92 println(compile_rec(Const(1))._1.run(Map(0 -> 1, 1 -> 1, 2 -> 0))) |
91 println(compile_rec(Const(1))._1.run(Map(0 -> 1, 1 -> 1, 2 -> 0))) |
|
92 println(toTM(compile_rec(Const(1))._1.p).run(Tape(1, 1, 0))) |
93 println(Add) |
93 println(Add) |
94 println(compile_rec(Add)._1) |
94 println(compile_rec(Add)._1) |
95 println(compile_rec(Add)) |
95 println(toTM(compile_rec(Add)._1.p).run(Tape(3, 4, 0))) |
96 println(compile_rec(Add)._1.run(Map(0 -> 3, 1 -> 8, 2 -> 0))) |
96 println(compile_rec(Add)._1.run(Map(0 -> 3, 1 -> 8, 2 -> 0))) |
97 //compile_rec(Add)._1.run(Map(0 -> 3, 1 -> 4, 2 -> 0)) |
97 //compile_rec(Add)._1.run(Map(0 -> 3, 1 -> 4, 2 -> 0)) |