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 1 week ago
nix update sources 1 week ago
playground add elm-community/graph dependency 1 month ago
src negation works fine, now, so this comment is out of date 1 week ago
tests drop anonymous variables when considering if negation is safe 1 week ago
.envrc nixify 5 months ago
.gitignore build playground with nix 3 months ago
Makefile build playground with nix 3 months ago
default.nix we don't need a docker container 1 month ago
elm.json add elm-community/graph dependency 1 month ago
shell.nix add elm-live for better local dev 3 months ago
solving-by-hand.md derive a small version of all-pairs reachability by hand 3 months ago