-* Add the rest of the edge incidence tests. Make sure it works across
- cubes, too.
+* Update show definitions.
-* Add the section (2.9) tests.
+* Document everything.
-* 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
+* Re-run hpc and remove any dead code.