X-Git-Url: http://gitweb.michael.orlitzky.com/?p=dead%2Fharbl.git;a=blobdiff_plain;f=doc%2FTODO;fp=doc%2FTODO;h=e8b71193c7b8b9fa9241b79f197890e831d377b9;hp=0000000000000000000000000000000000000000;hb=15df901227c1d5d976b55bf5e3eb9721edecd09b;hpb=80b389fd4d76bc8b2cb5dfad0f066fd7a838bdfb

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.