From ed91280a4d19941fe3cd6baac5fb4008938b6c82 Mon Sep 17 00:00:00 2001 From: Greg Shuflin Date: Mon, 30 May 2022 17:35:28 -0700 Subject: [PATCH] Initial commit --- gamarjoba.lean | 6 ++++++ justfile | 2 ++ 2 files changed, 8 insertions(+) create mode 100644 gamarjoba.lean create mode 100644 justfile diff --git a/gamarjoba.lean b/gamarjoba.lean new file mode 100644 index 0000000..3ff7141 --- /dev/null +++ b/gamarjoba.lean @@ -0,0 +1,6 @@ +import system.io + +open io + +def main: io unit := + put_str "Gamarjoba, munde!" diff --git a/justfile b/justfile new file mode 100644 index 0000000..719add3 --- /dev/null +++ b/justfile @@ -0,0 +1,2 @@ +gamarjoba: + lean --run gamarjoba.lean