Ugly Alpha 1
voile:0.0.15

total uncompressed bytes

348.1 KB

total files

68

Fix

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

27 wasted files

total waste: 163.0 KB

  1. rustdoc/voile-librarian.png : 150.5 KB
  2. samples/test.pl : 2.5 KB
  3. appveyor.yml : 2.1 KB
  4. .circleci/config.yml : 1.6 KB
  5. rustdoc/icon.svg : 1.2 KB
  6. rustdoc/katex-header.html : 1.1 KB
  7. samples/dependent-type/recursion.voile : 563 B
  8. .gitignore : 372 B
  9. samples/meta/id-flip.voile : 266 B
  10. samples/dependent-type/id-flip.voile : 263 B
  11. samples/dependent-type/sums.voile : 252 B
  12. rustdoc/generate.sh : 240 B
  13. samples/dependent-type/pairs.voile : 222 B
  14. samples/meta/id-flip.out : 211 B
  15. samples/dependent-type/id-flip.out : 211 B
  16. samples/error-report/missing-label.voile : 201 B
  17. samples/dependent-type/recursion.out : 161 B
  18. samples/error-report/unsolved-meta.voile : 155 B
  19. samples/error-report/redefine.voile : 143 B
  20. samples/dependent-type/sums.out : 140 B
  21. samples/error-report/missing-label.out : 122 B
  22. samples/dependent-type/pairs.out : 112 B
  23. samples/error-report/redefine.out : 104 B
  24. samples/error-report/unsolved-meta.out : 81 B
  25. rustdoc/install-windows.bat : 67 B
  26. rustdoc/install-linux.sh : 67 B
  27. rustfmt.toml : 17 B