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

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.