commit a24d7d593a4ae9b9d8784fd380efaef241f8aac7 Author: Mac Malone Date: Fri May 28 17:13:47 2021 -0400 Initial Commit 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"