X-Git-Url: http://gitweb.michael.orlitzky.com/?a=blobdiff_plain;f=doc%2FTODO;h=99d0da87cf7a8113c87bbd6d6e84d44ddde5a910;hb=86d39fb9ddd83414f4b896bea89404e9786ff0d0;hp=236449bc2ecd39214350289439b3370f014cad52;hpb=618a8b60f67939be66ee7298ae4a47522c83f449;p=spline3.git

diff --git a/doc/TODO b/doc/TODO
index 236449b..99d0da8 100644
--- a/doc/TODO
+++ b/doc/TODO
@@ -1,5 +1,12 @@
-* Add the rest of the edge incidence tests.
+* Add the rest of the edge incidence tests. Make sure it works across
+  cubes, too.
 
-* Figure out why the tests for section (2.8),
-  e.g. prop_c3000_identity, are affected by switching two vertices of
-  a tetrahedron.
+* Add the section (2.9) tests.
+
+* Figure out why the section (2.5) c_ijk1 identity is failing.
+
+* Use distribution combinators[1] to get rid of the orphan instance
+  warnings.
+
+
+[1] http://stackoverflow.com/questions/4001861/how-small-should-i-make-make-modules-in-haskell