Permalink
Browse files

update todos.org

  • Loading branch information...
1 parent b95061a commit 3c1f7b2d9649b921ba5d39d5384cbef0b31b4b8c David Nolen committed Aug 9, 2012
Showing with 3 additions and 5 deletions.
  1. +3 −5 notes/todos.org
View
@@ -1,9 +1,7 @@
core.logic projects
-* Unification
-** Make failed unification return nil not false
* Sugar for FD equations, (eqfd (= (+ x y z) (+ a b c)))
-** Needs eqfd macro sugar
-** Needs domain inference
+** TODO Needs eqfd macro sugar
+** TODO Needs domain inference
* Search tree tracing
-** cKanren-interp branch has a sketch
+** TODO cKanren-interp branch has a sketch

0 comments on commit 3c1f7b2

Please sign in to comment.