]> gitweb.michael.orlitzky.com - dead/harbl.git/blobdiff - doc/TODO
Add back the TODO.
[dead/harbl.git] / doc / TODO
diff --git a/doc/TODO b/doc/TODO
new file mode 100644 (file)
index 0000000..e8b7119
--- /dev/null
+++ b/doc/TODO
@@ -0,0 +1 @@
+1. Remove Eq constraints where not needed.