bytecode/README.md

89 B

bytecode

proof that an extremely basic bytecode compiler is sound

(maybe todo: main)