89 B
89 B
bytecode
proof that an extremely basic bytecode compiler is sound
(maybe todo: main)
proof that an extremely basic bytecode compiler is sound
(maybe todo: main)