Ugly Alpha 1
minitt:0.2.1

total uncompressed bytes

126.6 KB

total files

55

Fix

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

33 wasted files

total waste: 12.9 KB

  1. samples/test.pl : 2.1 KB
  2. samples/REPL.md : 2.1 KB
  3. appveyor.yml : 2.0 KB
  4. .circleci/config.yml : 1.5 KB
  5. samples/sum-split/maybe.minitt : 933 B
  6. samples/README.md : 608 B
  7. samples/sum-split/bool.minitt : 505 B
  8. samples/sum-split/nat.minitt : 404 B
  9. samples/dependent/function.minitt : 380 B
  10. samples/dependent/sigma.minitt : 359 B
  11. .gitignore : 359 B
  12. samples/basics/unicode.minitt : 259 B
  13. samples/basics/simple.minitt : 234 B
  14. samples/basics/syntacic-sugar.minitt : 179 B
  15. samples/basics/syntacic-sugar.out : 127 B
  16. samples/basics/reference.minitt : 125 B
  17. samples/dependent/long-function.minitt : 119 B
  18. samples/basics/local-binding.minitt : 81 B
  19. samples/basics/parse-only.minitt : 75 B
  20. samples/sum-split/nat.out : 41 B
  21. samples/sum-split/maybe.out : 41 B
  22. samples/sum-split/bool.out : 41 B
  23. samples/dependent/sigma.out : 41 B
  24. samples/dependent/long-function.out : 41 B
  25. samples/dependent/function.out : 41 B
  26. samples/basics/simple.out : 41 B
  27. samples/basics/reference.out : 41 B
  28. samples/basics/local-binding.out : 41 B
  29. samples/basics/parse-only.out : 33 B
  30. samples/basics/parse-only.flags : 24 B
  31. samples/basics/unicode.out : 18 B
  32. samples/basics/unicode.flags : 12 B
  33. samples/basics/syntacic-sugar.flags : 11 B