From a24d7d593a4ae9b9d8784fd380efaef241f8aac7 Mon Sep 17 00:00:00 2001 From: Mac Malone Date: Fri, 28 May 2021 17:13:47 -0400 Subject: [PATCH] Initial Commit --- .gitignore | 1 + Leanpkg.lean | 2 ++ leanpkg.toml | 4 ++++ 3 files changed, 7 insertions(+) create mode 100644 .gitignore create mode 100644 Leanpkg.lean create mode 100644 leanpkg.toml diff --git a/.gitignore b/.gitignore new file mode 100644 index 0000000000..796b96d1c4 --- /dev/null +++ b/.gitignore @@ -0,0 +1 @@ +/build diff --git a/Leanpkg.lean b/Leanpkg.lean new file mode 100644 index 0000000000..ec2c947e80 --- /dev/null +++ b/Leanpkg.lean @@ -0,0 +1,2 @@ +def main : IO Unit := + IO.println "Hello, world!" diff --git a/leanpkg.toml b/leanpkg.toml new file mode 100644 index 0000000000..376b9c0d0e --- /dev/null +++ b/leanpkg.toml @@ -0,0 +1,4 @@ +[package] +name = "Leanpkg" +version = "0.1" +lean_version = "leanprover/lean4:nightly-2021-05-26"