A bad datalog, which hopefully will become better over time. Maybe someday it'll even be released as a package! https://datalog.bytes.zone
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
 
 
 
Brian Hicks 88454c3cf2 negation works fine, now, so this comment is out of date 3 months ago
nix update sources 3 months ago
playground add elm-community/graph dependency 4 months ago
src negation works fine, now, so this comment is out of date 3 months ago
tests drop anonymous variables when considering if negation is safe 3 months ago
.envrc nixify 8 months ago
.gitignore build playground with nix 6 months ago
Makefile build playground with nix 6 months ago
default.nix we don't need a docker container 4 months ago
elm.json add elm-community/graph dependency 4 months ago
shell.nix add elm-live for better local dev 6 months ago
solving-by-hand.md derive a small version of all-pairs reachability by hand 6 months ago