Ugly Alpha 1
minitt:0.1.6

total uncompressed bytes

88.9 KB

total files

38

Fix

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

24 wasted files

total waste: 9.2 KB

  1. samples/test.pl : 2.1 KB
  2. appveyor.yml : 2.0 KB
  3. .circleci/config.yml : 1.5 KB
  4. samples/sum-split/bool.minitt : 505 B
  5. samples/README.md : 431 B
  6. samples/sum-split/nat.minitt : 404 B
  7. samples/dependent/function.minitt : 380 B
  8. samples/dependent/sigma.minitt : 359 B
  9. .gitignore : 345 B
  10. samples/basics/simple.minitt : 234 B
  11. samples/sum-split/maybe.minitt : 203 B
  12. samples/basics/syntacic-sugar.minitt : 125 B
  13. samples/basics/reference.minitt : 125 B
  14. samples/basics/parse-only.minitt : 75 B
  15. samples/sum-split/nat.out : 41 B
  16. samples/sum-split/maybe.out : 41 B
  17. samples/sum-split/bool.out : 41 B
  18. samples/dependent/sigma.out : 41 B
  19. samples/dependent/function.out : 41 B
  20. samples/basics/syntacic-sugar.out : 41 B
  21. samples/basics/simple.out : 41 B
  22. samples/basics/reference.out : 41 B
  23. samples/basics/parse-only.out : 33 B
  24. samples/basics/parse-only.flags : 24 B