bytecode/Main.lean
2025-04-08 12:39:09 -04:00

5 lines
72 B
Text

import Bytecode
def main : IO Unit :=
IO.println s!"Hello, {hello}!"