From 86bcd9766392e52540f99583ecc7b2d03871708b Mon Sep 17 00:00:00 2001
From: Ali Abrar <aliabrar@gmail.com>
Date: Mon, 26 Aug 2019 08:16:05 -0400
Subject: [PATCH] Add changelog

---
 ChangeLog.md | 1 +
 1 file changed, 1 insertion(+)
 create mode 100644 ChangeLog.md

diff --git a/ChangeLog.md b/ChangeLog.md
new file mode 100644
index 0000000..0d27a2d
--- /dev/null
+++ b/ChangeLog.md
@@ -0,0 +1 @@
+# Revision history for dependent-monoidal-map