Initial commit

2022-05-30 17:35:28 -07:00 · 2022-05-30 17:35:28 -07:00 · ed91280a4d
commit ed91280a4d
2 changed files with 8 additions and 0 deletions
--- a/gamarjoba.lean
+++ b/gamarjoba.lean
@ -0,0 +1,6 @@
+import system.io
+
+open io
+
+def main: io unit :=
+    put_str "Gamarjoba, munde!"
--- a/2
+++ b/2
@ -0,0 +1,2 @@
+gamarjoba:
+    lean --run gamarjoba.lean