From: adam <adam@megacz.com>
Date: Sun, 28 Oct 2007 22:43:02 +0000 (+0000)
Subject: add TODO list
X-Git-Url: http://git.megacz.com/?p=coinductive-monad.git;a=commitdiff_plain;h=bb471fbb694313a6aa61816752bd179b3af6711d;hp=c8ca325619c326ce74ed4d4515ae38c6e92d1579

add TODO list

darcs-hash:20071028224302-5007d-5288f7578dea8be77bd965aa587383de8d1973c7.gz
---

diff --git a/TODO b/TODO
new file mode 100644
index 0000000..7e1b13a
--- /dev/null
+++ b/TODO
@@ -0,0 +1,2 @@
+- Move from JMeq to Eqdep
+- Try to get rid of JMeq/Eqdep with a manually-written inversion principle?