From 26b032b76937c884b716845c69ad210c0cbfb0dc Mon Sep 17 00:00:00 2001
From: Kaustubh Maske Patil <37668193+nikochiko@users.noreply.github.com>
Date: Thu, 8 May 2025 14:21:00 +0530
Subject: [PATCH] initial commit

---
 Hello.lean | 1 +
 1 file changed, 1 insertion(+)
 create mode 100644 Hello.lean

diff --git a/Hello.lean b/Hello.lean
new file mode 100644
index 0000000..5e8c309
--- /dev/null
+++ b/Hello.lean
@@ -0,0 +1 @@
+def main : IO Unit := IO.println "Hello, world!"