Skip to content

Commit

Permalink
* notes/todos.org: update notes
Browse files Browse the repository at this point in the history
  • Loading branch information
David Nolen authored and David Nolen committed Aug 1, 2012
1 parent efd8002 commit 8ad6518
Showing 1 changed file with 2 additions and 0 deletions.
2 changes: 2 additions & 0 deletions notes/todos.org
View file
Original file line number Original file line Diff line number Diff line change
@@ -1,5 +1,7 @@
core.logic projects core.logic projects


* Unification
** Make failed unification return nil not false
* Sugar for FD equations, (eqfd (= (+ x y z) (+ a b c))) * Sugar for FD equations, (eqfd (= (+ x y z) (+ a b c)))
** Needs eqfd macro sugar ** Needs eqfd macro sugar
** Needs domain inference ** Needs domain inference
Expand Down

0 comments on commit 8ad6518

Please sign in to comment.