Ugly Alpha 1
holmes:0.1.0

total uncompressed bytes

168.0 KB

total files

35

Fix

NewInclude { include: [ "src/**/*", "LICENSE", "README.md", ], has_build_script: false, }

23 wasted files

total waste: 36.8 KB

  1. formal/holmes.tex : 7.0 KB
  2. tests/type_extend.rs : 3.5 KB
  3. tests/rule_where.rs : 3.0 KB
  4. benches/induction.rs : 2.7 KB
  5. formal/Datalog.agda : 2.5 KB
  6. formal/capnproto.agda : 2.1 KB
  7. tests/metadata_basic.rs : 2.1 KB
  8. .travis.yml : 1.5 KB
  9. benches/graph.rs : 1.5 KB
  10. tests/reboot.rs : 1.4 KB
  11. tests/rule_substr.rs : 1.4 KB
  12. benches/clique.rs : 1.2 KB
  13. tests/fact_basic.rs : 1.2 KB
  14. tests/rule_basic.rs : 1.1 KB
  15. shell.nix : 1.0 KB
  16. tests/issue_00010.rs : 966 B
  17. tests/predicate_basic.rs : 756 B
  18. tests/reorder.rs : 572 B
  19. tools/pg.bash : 450 B
  20. tools/big.bash : 336 B
  21. tests/trivial.rs : 255 B
  22. tests/func_basic.rs : 250 B
  23. .gitignore : 36 B