cirosantilli/lean/hello.lean

by Ciro Santilli (@cirosantilli, 40)
lean/hello.lean
def main : IO Unit := do
  IO.println "Hello, world!"