From: Michael Orlitzky <michael@orlitzky.com>
Date: Thu, 9 Jul 2015 06:34:02 +0000 (-0400)
Subject: Add back the TODO.
X-Git-Url: http://gitweb.michael.orlitzky.com/?p=dead%2Fharbl.git;a=commitdiff_plain;h=15df901227c1d5d976b55bf5e3eb9721edecd09b

Add back the TODO.
---

diff --git a/doc/TODO b/doc/TODO
new file mode 100644
index 0000000..e8b7119
--- /dev/null
+++ b/doc/TODO
@@ -0,0 +1 @@
+1. Remove Eq constraints where not needed.