Ugly Alpha 1
minitt:0.2.3

total uncompressed bytes

137.6 KB

total files

59

Fix

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

37 wasted files

total waste: 13.2 KB

  1. samples/test.pl : 2.1 KB
  2. samples/REPL.md : 2.0 KB
  3. appveyor.yml : 2.0 KB
  4. .circleci/config.yml : 1.5 KB
  5. samples/sum-split/maybe.minitt : 998 B
  6. samples/README.md : 593 B
  7. samples/sum-split/bool.minitt : 466 B
  8. samples/sum-split/nat.minitt : 365 B
  9. .gitignore : 359 B
  10. samples/dependent/function.minitt : 347 B
  11. samples/dependent/sigma.minitt : 346 B
  12. samples/basics/syntacic-sugar.minitt : 255 B
  13. samples/basics/unicode.minitt : 245 B
  14. samples/basics/simple.minitt : 226 B
  15. samples/first-class-sum/sum-literals.minitt : 216 B
  16. samples/basics/syntacic-sugar.out : 157 B
  17. samples/basics/reference.minitt : 120 B
  18. samples/dependent/long-function.minitt : 116 B
  19. samples/first-class-sum/subtyping.minitt : 83 B
  20. samples/basics/local-binding.minitt : 77 B
  21. samples/basics/parse-only.minitt : 73 B
  22. samples/sum-split/nat.out : 41 B
  23. samples/sum-split/maybe.out : 41 B
  24. samples/sum-split/bool.out : 41 B
  25. samples/first-class-sum/sum-literals.out : 41 B
  26. samples/first-class-sum/subtyping.out : 41 B
  27. samples/dependent/sigma.out : 41 B
  28. samples/dependent/long-function.out : 41 B
  29. samples/dependent/function.out : 41 B
  30. samples/basics/simple.out : 41 B
  31. samples/basics/reference.out : 41 B
  32. samples/basics/local-binding.out : 41 B
  33. samples/basics/parse-only.out : 33 B
  34. samples/basics/parse-only.flags : 24 B
  35. samples/basics/unicode.out : 18 B
  36. samples/basics/unicode.flags : 12 B
  37. samples/basics/syntacic-sugar.flags : 11 B