commit ed91280a4d19941fe3cd6baac5fb4008938b6c82 Author: Greg Shuflin Date: Mon May 30 17:35:28 2022 -0700 Initial commit 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