add TODO list

[coinductive-monad.git] / TODO

diff --git a/TODO b/TODO
new file mode 100644 (file)
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?