From 82b368e838ebad6abc3f1a7f15cf46ad381daf50 Mon Sep 17 00:00:00 2001
From: Mac Malone <tydeu@hatpress.net>
Date: Sat, 29 May 2021 09:07:48 -0400
Subject: [PATCH] Add README

---
 README.md | 3 +++
 1 file changed, 3 insertions(+)
 create mode 100644 README.md

diff --git a/README.md b/README.md
new file mode 100644
index 0000000000..775a56c0b6
--- /dev/null
+++ b/README.md
@@ -0,0 +1,3 @@
+# Leanpkg2
+
+An overhaul of Leanpkg for Lean 4 where the package configuration and build scripts are written in Lean. Currently just a prototype. A more detailed README will come when the project has matured.