No description
Find a file
2025-04-11 18:18:24 -04:00
Bytecode un-only M.push_pop closing simp 2025-04-11 18:18:24 -04:00
Bytecode.lean initial 2025-04-08 12:39:09 -04:00
lake-manifest.json first attempt 2025-04-09 14:33:26 -04:00
lakefile.toml first attempt 2025-04-09 14:33:26 -04:00
lean-toolchain first attempt 2025-04-09 14:33:26 -04:00
Main.lean initial 2025-04-08 12:39:09 -04:00
README.md ast.compile.run = ast.interpret 2025-04-09 15:55:34 -04:00

bytecode

proof that an extremely basic bytecode compiler is sound

(maybe todo: main)