lean4-htt/Leanpkg.lean
2021-05-28 17:13:55 -04:00

2 lines
51 B
Text

def main : IO Unit :=
IO.println "Hello, world!"