bytecode/Main.lean

5 lines
72 B
Text
Raw Permalink Normal View History

2025-04-08 12:39:09 -04:00
import Bytecode
def main : IO Unit :=
IO.println s!"Hello, {hello}!"