Skip to content

Commit

Permalink
up
Browse files Browse the repository at this point in the history
  • Loading branch information
@xieyuheng
xieyuheng committed Sep 4, 2024
1 parent 59051d3 commit 22d64a0
Showing 1 changed file with 3 additions and 1 deletion.
4 changes: 3 additions & 1 deletion TODO.md
View file
Original file line number Diff line number Diff line change
@@ -1,4 +1,6 @@
# propagator 支持 dependencies for implicit search
# 4.3 Dependencies Explain Contradictions

# 4.4 Dependencies Improve Search

> - https://github.com/cicada-lang/propagator/issues/4
Expand Down

0 comments on commit 22d64a0

Please sign in to comment.