brian
/
bad-datalog
1
0
Fork 0
Code Releases 0 Activity
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.
119 Commits
1 Branch
510 KiB
 
 
 
Branch: main
Branches Tags
${ item.name }
Create branch ${ searchTerm }
from 'main'
${ noResults }
 ZIP  TAR.GZ
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