X-Git-Url: http://gitweb.michael.orlitzky.com/?p=dead%2Fharbl.git;a=blobdiff_plain;f=doc%2FTODO;h=e8b71193c7b8b9fa9241b79f197890e831d377b9;hp=20b8bea6077708e294b74e142bffbde4396db84f;hb=20e2618366a1965f5cd91b1daf1d5a37d459deaa;hpb=e1060ef815f35309c7ca0800a345d7c54ce346bd

diff --git a/doc/TODO b/doc/TODO
index 20b8bea..e8b7119 100644
--- a/doc/TODO
+++ b/doc/TODO
@@ -1,3 +1 @@
-1. Move the Pretty class into its own module.
-2. Implement pretty printing of Domains to clean up the doctests.
-3. Add exactly-63 test to labels.
+1. Remove Eq constraints where not needed.