Remove a TODO that turned out to be more trouble than it's worth.
authorMichael Orlitzky <michael@orlitzky.com>
Thu, 9 Jul 2015 06:45:06 +0000 (02:45 -0400)
committerMichael Orlitzky <michael@orlitzky.com>
Thu, 9 Jul 2015 06:45:06 +0000 (02:45 -0400)
doc/TODO [deleted file]

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