Skip to content

Commit

Permalink
hey, I did that!
Browse files Browse the repository at this point in the history
  • Loading branch information
BrianHicks committed Dec 1, 2020
1 parent ae872a1 commit 3327d1f
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion src/Datalog.elm
Expand Up @@ -22,7 +22,7 @@ program =
We have a couple of steps to complete here:
- [ ] make a precedence graph (edges from body atoms to head atom
- [x] make a precedence graph (edges from body atoms to head atom
for each rule including whether the body atom was positive
or negative)
- [ ] figure out the cycles in that graph. If there are any cycles
Expand Down

0 comments on commit 3327d1f

Please sign in to comment.