nikolean/Hello.lean
Kaustubh Maske Patil 26b032b769 initial commit
2025-05-08 14:21:00 +05:30

2 lines
49 B
Plaintext

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