From d0c0c8a0a917e20430e6c1b4593805fc3dfa35ac Mon Sep 17 00:00:00 2001
From: Patrick Stevens <smaug451@gmail.com>
Date: Tue, 24 Dec 2019 09:58:38 +0000
Subject: [PATCH] Create README.md

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

diff --git a/README.md b/README.md
new file mode 100644
index 0000000..8b5071b
--- /dev/null
+++ b/README.md
@@ -0,0 +1,4 @@
+# agda-utils
+Manipulations of Agda files
+
+At the moment, this is a little tool to remove unused open statements from Agda files.