lean4-htt/examples/io/Main.lean

2 lines
52 B
Text

def main : IO Unit :=
IO.println "Hello from Io!"